Alternatives and similar repositories for cosmos:

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

• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆214Updated 2 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆111Updated 8 months ago
• xieyuheng / joy
  backup of the joy programming language
  ☆30Updated 9 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 6 months ago
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆131Updated 3 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 7 months ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆156Updated last month
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆21Updated 4 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆42Updated 4 months ago
• andreaferretti / factor-tutorial
  From function composition to distributed programming
  ☆66Updated last year
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 7 years ago