herrmanntom / setlXLinks
setlX is an interpreter for the high level programming-language SetlX (set language extended).
☆27Updated 3 years ago
Alternatives and similar repositories for setlX
Users that are interested in setlX are comparing it to the libraries listed below
Sorting:
- An interpreter for a J-inspired language☆92Updated 2 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- ☆35Updated 6 months ago
- A new logic programming language.☆175Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- The NIAL language environment☆112Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- Compiler and tools for the L programming language☆72Updated last year
- adds an optional type system to J language☆21Updated 9 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Stackless Joy☆23Updated 3 months ago
- stack-based RPN functional programming language☆53Updated 7 years ago
- ☆32Updated 2 years ago
- A Scheme (R7RS) implementation written in D☆59Updated 6 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆220Updated 2 years ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Poplog☆21Updated 14 years ago
- The Egel Programming Language☆84Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- The Om programming language.☆174Updated 9 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆127Updated 3 years ago