hypirion / swearjure

Related projects: ⓘ

• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆67Updated last year
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 10 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆120Updated 9 years ago
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• elben / neblen
  A programming language
  ☆8Updated 8 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• haskell-lisp / lisk
  Exploratory new work on a Haskell Lisp
  ☆16Updated 8 years ago
• gershwin / gershwin
  Gershwin programming language
  ☆73Updated 10 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆166Updated 10 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 8 years ago
• f-f / dhall-clj
  Dhall to and from Clojure
  ☆75Updated 5 years ago
• Frege / frege-lein-plugin
  Support Frege compiler via leiningen
  ☆32Updated 8 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆93Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 5 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆11Updated 8 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 2 years ago
• ympbyc / s-exploration
  Lisp is data. Data needs a visualization tool.
  ☆15Updated 10 years ago
• van-clj / zetta-parser
  Powerful monadic parser combinator in Clojure (Haskell attoparsec's port)
  ☆32Updated 9 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆54Updated 11 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• eborden / language-edn
  A Haskell representation of Clojure's EDN
  ☆11Updated 6 years ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 7 years ago