scmu / mrm

Related projects ⓘ

Alternatives and complementary repositories for mrm

• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 7 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 2 weeks ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆13Updated 5 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated last week
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 6 years ago
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆15Updated 5 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 weeks ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• glguy / th-abstraction
  Uniform interface to reified data type information via Template Haskell
  ☆20Updated 7 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 4 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated last month
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago