Alternatives and similar repositories for cosmos:

Users that are interested in cosmos are comparing it to the libraries listed below

• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 6 months ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 3 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• sparist / Om
  The Om programming language.
  ☆173Updated 5 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆39Updated 3 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated 2 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆130Updated 3 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 2 months ago
• proebsting / goaldi
  ☆31Updated 2 months ago
• danlm / QNial7
  The NIAL language environment
  ☆112Updated last year
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆153Updated 11 months ago
• eatonphil / bsdscheme
  A Scheme (R7RS) implementation written in D
  ☆59Updated 6 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• swdunlop / WaspVM
  The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF
  ☆107Updated 6 years ago