Alternatives and similar repositories for cosmos

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

• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 9 months ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 2 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆132Updated 4 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• andreaferretti / factor-tutorial
  From function composition to distributed programming
  ☆66Updated last year
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆217Updated 2 years ago
• xieyuheng / joy
  backup of the joy programming language
  ☆30Updated 9 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆30Updated 8 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated 3 weeks ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated last month
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆167Updated 13 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• akavel / sherman
  A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.
  ☆17Updated 12 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆81Updated 9 years ago