bollu / simplexhc-cpp

Related projects ⓘ

Alternatives and complementary repositories for simplexhc-cpp

• sinelaw / hmf
  A copy of Daan Leijen's reference implementation of HMF (type inference)
  ☆16Updated 8 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated this week
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 9 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 5 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated 3 weeks ago
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 weeks ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆40Updated 9 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆18Updated 9 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 4 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago