ashwin153 / caustic
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
- A starter for scala-native.☆27Updated 7 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated last month
- A distributed, transactional key-value store.☆64Updated 6 years ago
- ☆13Updated 6 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 7 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- a capability-based system☆40Updated 6 years ago
- Pure Pony Kafka client☆57Updated 6 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 5 years ago
- Example of compiling Pony code to a C library☆9Updated 7 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆32Updated last month
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- Research platform for new language concepts and compiler technologies for Scala.☆85Updated this week
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- ☆57Updated 7 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- Functional data structures for Pony☆44Updated 7 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆84Updated 11 months ago
- State machines in Idris☆37Updated 8 years ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 9 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago