Alternatives and similar repositories for cosmos:

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

• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆89Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated last month
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 5 months ago
• sparist / Om
  The Om programming language.
  ☆172Updated 3 months ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆128Updated 3 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆212Updated 2 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• samer-- / prolog
  Prolog stuff
  ☆27Updated 5 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆119Updated 3 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆39Updated 2 months ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆108Updated 6 months ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆72Updated 2 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 8 months ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated last year
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated last year
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated 2 weeks ago
• danlm / QNial7
  The NIAL language environment
  ☆111Updated last year
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago