mjdominus / Linogram

Related projects: ⓘ

• audreyt / Pugs.hs
  Perl6 User's Golfing System in Haskell
  ☆36Updated 12 years ago
• perl6 / Pugs.hs
  (ARCHIVE) Raku User's Golfing System in Haskell
  ☆84Updated 3 years ago
• osfameron / pure-fp-book
  Purely Functional Data Structures for the Impure
  ☆20Updated 12 years ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆23Updated 7 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆16Updated 8 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆47Updated 4 years ago
• Raku / mu
  Universal Raku repository (formerly called "pugs repository")
  ☆60Updated last year
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 3 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆60Updated 2 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆73Updated 4 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• hamishmack / ghcjs
  Haskell to Javascript compiler (via GHC)
  ☆20Updated 4 years ago
• agda / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 9 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆30Updated 6 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆47Updated 4 years ago
• luispedro / hex
  Reimplementation of TeX in Haskell: pre-alpha
  ☆30Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆111Updated 7 years ago
• halfaya / BayHac
  ☆11Updated 6 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• edumentab / rakudo-and-nqp-internals-course
  A course on Rakudo and NQP internals, developed by Edument AB.
  ☆96Updated 4 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 9 years ago
• jnthn / grammar-debugger
  Grammar::Debugger and Grammer::Tracer Perl 6 modules
  ☆36Updated 5 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆220Updated last year
• pa-ba / calc-comp
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆30Updated 9 months ago
• arclanguage / arc-nu
  Rewrite of Arc 3.1 with more features, more speed, and bug fixes. Still compatible with Arc 3.1.
  ☆48Updated 7 years ago