statement-on-lambdaconf / statement-on-lambdaconf.github.io

Related projects: ⓘ

• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆54Updated 11 years ago
• laser / cis-194-winter-2016
  A modified version of Brent Yorgey's CIS 194 Haskell course
  ☆17Updated 4 years ago
• jhickner / hobbes
  A cross-platform file activity monitor
  ☆72Updated 8 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆60Updated 8 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• ajhager / airnix
  ☆28Updated this week
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• bodil / spectre-of-free-software
  ☆22Updated 5 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆109Updated 5 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• docopt / docopt.hs
  A command-line interface description language and parser that will make you smile
  ☆119Updated 3 months ago
• hypirion / swearjure
  Clojure interpreter that does not support alphanumerics.
  ☆11Updated 9 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 8 years ago
• bodil / graham
  Parser combinators for JS
  ☆14Updated 9 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• hjwylde / git-fmt
  WIP: A custom git command for formatting code
  ☆11Updated 6 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• ltext / ltext
  λtext - higher-order file applicator
  ☆36Updated 8 months ago
• tfausak / purescript-batteries
  A PureScript prelude with more features.
  ☆31Updated 7 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆79Updated 10 years ago
• ucsd-progsys / liquidhaskell-blog
  LiquidHaskell blog
  ☆8Updated last year
• jarcane / red-flag-of-fp
  The Red Flag of Functional Programming
  ☆105Updated 2 years ago
• takeoutweight / shade
  Interactive, client-side web apps in Haskell
  ☆149Updated 10 years ago
• learnyou / lysa
  A fun, easy-to-read, open-source math textbook
  ☆25Updated 8 years ago
• dhall-lang / dhall-json
  This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json
  ☆65Updated 5 years ago
• sourrust / karver
  A simple template engine inspired by jinja2
  ☆23Updated 9 years ago