I contributed bug fixes and a few enhancements to the LSP (Language Server Protocol) server for the Prolog programming language.
Hi! I'm a software engineer interested in compiler implementation, building educational software, and creating with web technologies. If you'd like to work with me, please get in touch by emailing me at eignnx@gmail.com!
📜 Statement of Ethics
- Software is not built in a vacuum. It is irresponsible to pretend the effects of code we write are entirely out of our control.
- Oppressive systems can evolve without their constituents knowing about them. We must not fall into willful ignorance.
🔧 Technologies I Use
-
Rust
-
JavaScript
-
TypeScript
-
Python
-
Prolog
-
ReactJs
-
Vue.js
-
Elm
🏗️ My Projects
A 6-part tutorial series about implementing lazy sequences (on-demand iterators) in pure ReasonML.
A linguistics game of translating sentences from randomized grammars.
I contributed a few minor user interface features to the educational digital logic simulator Logisim Evolution.
A programming language with algebraic data types, pattern-matching, a bidirectional typechecker, a “bytecode” interpreter, and Ruby-like syntax.
A (very) C-like self-hosted programming language initially written in C, compiling C source to C as the target. Supports basic pattern matching and ADTs!
A small grammar language that can generate sentences based on strongly-typed constraints, and website to with interactive editor!
An unfinished game project using advanced CSS queries to simulate the style of old paper forms and documents.
A Python 3 parser-combinator library which uses coroutines to sequence parsers.
A command line tool for parsing Python dataclass reprs and pretty-printing them.
A (not so great) OCaml compiler. Created during an independent studies course in Spring 2019.
A client-server application written in C and functionally similar to the rcp command.