TikhonJelvis / Reactive-Life

Related projects ⓘ

Alternatives and complementary repositories for Reactive-Life

• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 9 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 6 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• andgate / type-theory-compiler
  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…
  ☆42Updated 5 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• haskell-perf / graphs
  ☆39Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• DataHaskell / data-haskell-examples
  Examples of data analysis in Haskell
  ☆19Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 9 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆14Updated 9 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• dlicata335 / hott-agda
  ☆82Updated 7 years ago
• ChrisPenner / conway
  Conway's game of life in 100 lines or less!
  ☆34Updated 7 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 5 months ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 11 years ago