mfelleisen / Evolution

Related projects ⓘ

Alternatives and complementary repositories for Evolution

• joom / WangsAlgorithm
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Updated 5 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• aduraj / ocaml-data-structures
  Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language
  ☆18Updated 12 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 9 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 7 years ago
• rightfold / gammascript
  Pure, total functions!
  ☆14Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆15Updated 7 years ago
• heades / System-F-Coq
  System F in coq.
  ☆19Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 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
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 6 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 6 years ago
• lkuper / lvar-semantics
  PLT Redex models of LVar calculi
  ☆10Updated 9 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆30Updated 7 years ago