mcsoto / cosmosLinks
A new logic programming language.
☆175Updated 2 years ago
Alternatives and similar repositories for cosmos
Users that are interested in cosmos are comparing it to the libraries listed below
Sorting:
- The Om programming language.☆174Updated last year
- High-end Cryptographic Library☆44Updated 6 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆221Updated 3 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Updated 4 years ago
- Metaprogramming framework for .net☆91Updated 6 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- The NIAL language environment☆113Updated 2 years ago
- A programming language where the syntax and semantics are mutable at runtime☆169Updated 13 years ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- A collection of Prolog libraries.☆88Updated last year
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆131Updated 4 years ago
- A Scheme (R7RS) implementation written in D☆60Updated 7 years ago
- Apply and compose functions in Prolog☆19Updated 9 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- Stackless Joy☆23Updated 8 months ago
- Function EXpression Language (interpreter for functional programs)☆84Updated 3 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated this week
- backup of the joy programming language☆30Updated 9 years ago
- Plasma Programming Language☆167Updated 8 months ago
- MiniPascal implemented in Racket☆92Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆80Updated 3 months ago
- APL is the greatest language ever☆68Updated last year
- Art of Prolog Code☆36Updated 6 years ago