isovector / afro-kravitz

Related projects ⓘ

Alternatives and complementary repositories for afro-kravitz

• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 5 months ago
• grzegorzbalcerek / chess-elm
  The game of chess written in elm.
  ☆23Updated last year
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated 6 months ago
• deech / LeftPad
  ☆23Updated 6 years ago
• xdissent / elm-localstorage
  LocalStorage task adapter for Elm
  ☆11Updated 8 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 7 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 10 months ago
• bburdette / schelme
  A minimal scheme-esque language written in Elm.
  ☆22Updated 3 years ago
• NorfairKing / nanosmos
  A simple text editor written in Haskell with Brick
  ☆13Updated 5 years ago
• JeffreyBenjaminBrown / monome
  ☆17Updated 4 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆11Updated 5 years ago
• duncanmalashock / elm-music-theory
  Work with musical concepts
  ☆29Updated last year
• maxsnew / IO
  IO for Elm
  ☆29Updated 8 years ago
• nikita-volkov / hasql-transaction
  A composable abstraction over retriable transactions for Hasql
  ☆12Updated 4 months ago
• evancz / elm-project-survey
  How do build times and asset sizes change as Elm projects grow larger?
  ☆13Updated 4 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• soupi / purescript-slides
  A tiny EDSL for making slides in PureScript
  ☆26Updated 7 years ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆19Updated 3 weeks ago
• xarvh / squarepants
  ☆13Updated last week
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated 11 months ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆14Updated 10 years ago
• goudreinette / forth
  Forth clone in Haskell
  ☆31Updated 7 years ago
• joneshf / elm-proof
  ☆13Updated 7 years ago