feeley / etos

Related projects ⓘ

Alternatives and complementary repositories for etos

• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆41Updated 10 years ago
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆25Updated 10 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 12 years ago
• VincentToups / DevilsPong
  A simple game in Scheme.
  ☆15Updated 7 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 8 years ago
• dedbox / racket-neuron
  Decentralized Software Organisms
  ☆17Updated 2 years ago
• the-concurrent-schemer / scm
  [UNMAINTAINED] The Concurrent Schemer
  ☆119Updated 9 years ago
• ifigueroap / racket-quickcheck
  Quickcheck Clone implemented in Racket
  ☆31Updated 3 months ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 2 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• tonyg / racket-bitsyntax
  Erlang-style binaries/bitstrings for Racket
  ☆32Updated 3 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆42Updated 3 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• pzel / mkr
  An implementation of µKanren in Lisp Flavored Erlang.
  ☆18Updated 9 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 8 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 5 months ago
• rain-1 / nand-lang
  nand-lang
  ☆15Updated 6 years ago
• mikpe / erlscheme
  An implementation of the Scheme programming language for the Erlang/OTP VM.
  ☆14Updated last year
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• lfe-deprecated / ljson
  An LFE library which provides a unified JSON experience
  ☆10Updated last year
• racket / datalog
  ☆43Updated 2 weeks ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 7 years ago