C4Cypher / Apollo-lander

Related projects ⓘ

Alternatives and complementary repositories for Apollo-lander

• juliensf / mercury-csv
  A Mercury CSV library.
  ☆11Updated 9 months ago
• juliensf / mercury-json
  A Mercury JSON library.
  ☆20Updated 5 months ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• stchang / mlish
  ☆21Updated 4 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆17Updated 7 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 3 weeks ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated last month
• deech / ATSPresentation
  ☆20Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆58Updated 10 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆26Updated 8 months ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 10 years ago
• tazjin / elm-yesod
  elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.
  ☆15Updated 11 years ago