timo / ADT

Related projects: ⓘ

• cyclone-scheme / winds
  The package manager for Cyclone Scheme.
  ☆28Updated 7 months ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 6 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆32Updated 4 years ago
• mrkkrp / shtookovina
  ☆16Updated this week
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• racket / frtime
  ☆18Updated last month
• racket / plot
  ☆39Updated last month
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆25Updated 10 years ago
• jackfirth / glass
  An optics (lenses, prisms, traversals, etc.) library for Racket.
  ☆10Updated 4 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆35Updated 5 years ago
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• zyrolasting / file-watchers
  Sensible file watching for Racket
  ☆9Updated 3 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated last year
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 6 years ago
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆13Updated 4 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 7 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆11Updated 9 years ago
• tonyg / racket-reloadable-example
  A simple website written with the Racket webserver, supporting runtime code-reloading.
  ☆12Updated 9 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• haskell / haskell-snippets
  Official collection of YASnippet Haskell snippets for Emacs.
  ☆12Updated 3 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
• nrnrnr / SML-Lint
  Tool for detecting bad style in Standard ML programs
  ☆16Updated 5 years ago
• 7c6f434c / lang-os
  A minimal system managed by policy daemons with configuration being arbitrary code
  ☆31Updated 3 weeks ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago