ashwin153 / causticLinks
A transactional programming language.
☆34Updated 6 years ago
Alternatives and similar repositories for caustic
Users that are interested in caustic are comparing it to the libraries listed below
Sorting:
- A starter for scala-native.☆27Updated 7 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A distributed, transactional key-value store.☆65Updated 6 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- ☆13Updated 6 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- Example of compiling Pony code to a C library☆9Updated 7 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- Codes related to Idris☆15Updated 9 years ago
- State machines in Idris☆37Updated 8 years ago
- JVM implementation in Haskell☆44Updated 8 months ago
- Ikko language☆26Updated 4 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- Rust bindings for the Sophia[http://sphia.org/] embedded database system.☆15Updated 9 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- a capability-based system☆40Updated 7 years ago
- Scala translation of the awesome «Write Yourself a Scheme in 48 Hours» tutorial.☆7Updated 13 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- ☆57Updated 7 years ago
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago