willprice / little-schemer

Related projects ⓘ

Alternatives and complementary repositories for little-schemer

• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆37Updated 3 weeks ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆51Updated last year
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated last year
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 4 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆29Updated 5 months ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 8 months ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated 2 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆38Updated 4 months ago
• Elderry / TaPL-SML
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Updated 9 years ago
• jonsterling / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆55Updated 2 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• gbaz / mess
  Martin-Löf Extensible Specification and Simulator
  ☆29Updated 9 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago
• cedille / ial
  The Iowa Agda Library
  ☆46Updated 5 months ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• andreasabel / helf
  Haskell implementation of the Edinburgh Logical Framework
  ☆26Updated 3 weeks ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 2 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated 9 months ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• mattia-furlan / MasterThesisCTT
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Updated last year
• benediktahrens / CT4P
  ☆31Updated this week