Alternatives and similar repositories for Evolution:

Users that are interested in Evolution are comparing it to the libraries listed below

• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆49Updated 3 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 6 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆75Updated 5 years ago
• effectfully / Cubes
  A dependently typed type checker for a TT with intervals
  ☆22Updated 5 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 6 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated last year
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• cjdev2 / test-fixture
  Testing with monadic side-effects
  ☆33Updated 3 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• jaseemabid / lisper
  A tiny scheme interpreter in Haskell
  ☆24Updated 5 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 11 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago