mgree / trampoline

Related projects ⓘ

Alternatives and complementary repositories for trampoline

• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆42Updated 7 years ago
• jhrcek / graph-editor
  Simple editor for creating graphs implemented purely in Elm.
  ☆35Updated 2 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 9 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated last year
• vilterp / elm-diagrams
  An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.
  ☆44Updated 8 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• pkamenarsky / typedraw
  Visually describe Haskell/Purescript/Elm types
  ☆105Updated 6 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆26Updated 5 years ago
• zyla / purescript-concur
  [ABANDONED] An attempt to port the concur library to PureScript.
  ☆20Updated 6 years ago
• joneshf / elm-proof
  ☆13Updated 7 years ago
• avh4-experimental / elm-transducers
  Composable transformation of sequences using clojure-inspired transducers
  ☆39Updated 6 years ago
• john-kelly / elm-interactive-graphics
  Gradual introduction to interactive graphics programs.
  ☆10Updated 4 years ago
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 3 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• soupi / purescript-slides
  A tiny EDSL for making slides in PureScript
  ☆26Updated 7 years ago
• Gizra / elm-keyboard-event
  Decode keyboard events in Elm
  ☆22Updated 2 years ago
• megamaddu / purescript-spectacle-presentation
  Presentation on using React Spectacle via Pux & PureScript
  ☆12Updated 8 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 5 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated last month
• parsonsmatt / ql-purs
  QuickLift frontend in PureScript
  ☆15Updated 8 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆11Updated 7 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago