micahcantor / comp-to-assembly-from-scratch-hs
A toy JS to ARM assembly compiler, in Haskell
☆16Updated 2 years ago
Alternatives and similar repositories for comp-to-assembly-from-scratch-hs:
Users that are interested in comp-to-assembly-from-scratch-hs are comparing it to the libraries listed below
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 4 months ago
- Classical Logic in Haskell☆24Updated 3 weeks ago
- ☆34Updated 10 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- Cursor data and manipulation☆21Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated this week
- Backtracking monad in Haskell☆14Updated 3 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Clipboard synchronization tool☆12Updated last year
- Morte IDE☆29Updated last year
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 2 months ago
- ☆23Updated 7 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago