ashwin153 / caustic
A transactional programming language.
☆34Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for caustic
- A starter for scala-native.☆27Updated 6 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- A distributed, transactional key-value store.☆64Updated 5 years ago
- ☆13Updated 5 years ago
- Slides for Pony lectures☆27Updated 6 years ago
- Example of compiling Pony code to a C library☆9Updated 7 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆33Updated 5 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 6 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- ExarDB - An event store with streaming support built with Rust☆68Updated 5 years ago
- a capability-based system☆40Updated 6 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated last month
- Eclipse plugin for debugging reactive programming☆21Updated 6 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Pure Pony Kafka client☆57Updated 5 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆74Updated last year
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Codes related to Idris☆15Updated 9 years ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- Colorize stderr☆17Updated 8 years ago
- A server that stashes your requests for later retrieval so you can do end-to-end testing of code that makes HTTP calls. Available as a bi…☆26Updated 7 years ago
- Sild is a lisp dialect☆44Updated 6 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago