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
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- A distributed, transactional key-value store.☆64Updated 6 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- Example of compiling Pony code to a C library☆9Updated 7 years ago
- A starter for scala-native.☆27Updated 7 years ago
- ☆13Updated 6 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆32Updated last month
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated last month
- This is an actor system, built in Rust, similar to Scala's excellent Akka.☆8Updated 9 years ago
- ☆57Updated 7 years ago
- ☆10Updated 7 years ago
- Pure Pony Kafka client☆57Updated 6 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 7 years ago
- State machines in Idris☆37Updated 8 years ago
- a capability-based system☆40Updated 6 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- Research platform for new language concepts and compiler technologies for Scala.☆85Updated this week
- Pure Pony implementation of the ZeroMQ messaging library.☆65Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- ☆10Updated 6 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- Java Code Generator for Idris☆71Updated 9 years ago