ceylon / ceylon-model
DEPRECATED
☆12Updated 9 years ago
Alternatives and similar repositories for ceylon-model:
Users that are interested in ceylon-model are comparing it to the libraries listed below
- A formatter for the Ceylon programming language, written in Ceylon.☆14Updated 5 years ago
- ☆19Updated 6 years ago
- ☆11Updated 8 months ago
- A combinator parser for Ceylon☆11Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last month
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Java Code Generator for Idris☆71Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Frege Interpreter☆15Updated 4 years ago
- A library for composable fine-grained concurrency.☆53Updated 12 years ago
- Common code for all Ceylon IDEs☆9Updated 5 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last week
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- A proof assistant.☆12Updated 9 years ago
- Core components for the Scribble Java tools☆56Updated 5 months ago
- Java dialect using S-expressions☆31Updated 6 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- IntelliJ Plugin for Ceylon☆61Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- Standard platform modules belonging to the Ceylon SDK☆72Updated 5 years ago
- JVM code generation☆32Updated 6 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago