feeley / etosLinks
Erlang to Scheme compiler
☆39Updated 13 years ago
Alternatives and similar repositories for etos
Users that are interested in etos are comparing it to the libraries listed below
Sorting:
- [UNMAINTAINED] The Concurrent Schemer☆120Updated 10 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 11 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- A simple game in Scheme.☆15Updated 9 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- ☆49Updated last month
- Erlang flavored by Some ML☆36Updated 13 years ago
- Quickcheck Clone implemented in Racket☆31Updated last year
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 10 years ago
- Erlang port of the Shen programming language☆26Updated 6 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- ☆35Updated 6 years ago
- LFE Flavor package☆42Updated 4 years ago
- ☆15Updated last month
- Decentralized Software Organisms☆18Updated 3 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- An implementation of the Scheme programming language for the Erlang/OTP VM.☆15Updated 3 weeks ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- nand-lang☆15Updated 7 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆22Updated 10 years ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- virtualenv like tool for Racket☆31Updated 3 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated last month
- JSON Schema Adventures☆17Updated 2 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Hash Array Mapped Tries for Racket☆21Updated 8 years ago
- Common Lisp implementation of the Erlang External Term Format☆16Updated 3 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago