vmchale / jacinda

Related projects ⓘ

Alternatives and complementary repositories for jacinda

• ChrisPenner / jet
  A structural editor for JSON values
  ☆78Updated 2 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• cdupont / Timeloop
  ☆40Updated last year
• awkward-squad / ki
  A structured concurrency library
  ☆83Updated 4 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆53Updated 6 months ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆50Updated last month
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆55Updated last year
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆132Updated 3 weeks ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 11 months ago
• vmchale / dickinson
  Text generation language
  ☆32Updated 2 weeks ago
• vmchale / apple
  Apple array system
  ☆54Updated this week
• tomjaguarpaw / bluefin
  ☆73Updated this week
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 5 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 5 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated last week
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago