There are no reviews yet. Be the first to send feedback to the community and the maintainers!
qtt
Quantitative Type Theory implementationsized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.sage
Efficient parser combinators for Haskellidris-but-its-c
Idris, but it's Cparametricity-proofs
Proofs of the number of inhabitants of polymorphic functionsmeta-lambda
Lambda Calculus with quote and unquotelambdapi
Educational implementation of dependent typesipso
A functional scripting language.closure
Closure calculus implementationindexed-paths
A library for working with free categoriesmini-adapton
miniAdapton in Haskellstg-llvm
Attempting to compile STG to LLVMccc
Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.rows
A language with polymorphic records and variants, using HMF inference.eden
Experimenting with GHC's Backpack technology to create modular programming language representationstyped-cfg
Well-typed compile time parser generatornix-docs
Reference documentation for (a teensy part of) Nixedit-log
Structured editing of a programming language via a logspacemacs-neuron
A spacemacs layer for neuronphil
A pure functional language that compiles to PHPidris-tictactoe
TicTacToe using dependent typesbide
An attempt at understanding Conor McBride's bidirectional typing disciplinelang
learning how 2 compile, like seriouslyreactive-data
A framework for building fine-grained reactive datatypesidris-lambda-reflection
Reflecting simply-typed lambda calculus into Idrisphil2-editor
Attempt at a terminal-based structural editor using Reflex and Brickpl0-haskell
PL/0 compiler written in Haskelltell
The MonadTell type class, and related monad transformers and utilities.como
Contextual Modal Type Theory, formalization and implementationlightandlight.github.io
My personal GitHub Pages siteclassy-lc
Modular lambda calculus using Backpack and prismsbiscope
scopes over bifunctorsmonoidal-lens
Optics built using monoidal categoriesrust-wasm-gol
Learning Rust + WebAssemblylinearlambda
Linear lambda calculus implementationstencil
Shareable programmable project templatesunification
An alternative to `unification-fd`, using the `equivalence` librarylearn-vulkan
Learning to use Vulkan and building a high-level interface to `vulkan-api` along the wayhover-pill
A game I made to learn Bevy, a Rust game engine.definable-syntax
A programming language with very few reserved keywordspattern-unification
Learning pattern unificationimp
This is not the droid you're looking forhumblr
Proof-of-concept Haskell blog platformcertified-lc
use coq to verify stlc in a way that extracts to good haskelltop-down-hindley-milner
plated-talk
Talk about Plated for BFPGwgpu-mandelbrot
Rendering the Mandelbrot set using wgpuray-tracing-in-one-weekend
Ray tracing in one weekend, in Rustranged
Integers with type-level rangespyfactor
Python DSL for Haskell with optics-based refactoringleeft-idr
Attempting to build type preserving lambda lifting3d-graphics-fundamentals
Learning 3D graphics fundamentalsgit-ustash
Save and restore unstaged changes in Git.reflex-parser
What would functional-reactive parser combinators look like?psbt
Build tool for PureScript written in Haskelljava-hindley-milner
Implementation of Hindley-Milner type inference in Javanewtype-existential
Existential quantification in newtypes using church encoding + RankNTypesmetis
A compiler project.haskell-gol
Multithreaded implementation of Conway's Game of Liferecursion-schemes-phoas
Compositional PHOAS termsquill
A query language experiment.game-3d
3D rendering with reflex-glosshumblr-frontend
Single page app frontend for humblr written using Purescriptsubst
De Bruijn indices using Backpack-y Prisms and Platedhaskell-typecheck-combinators
A type checker monad and combinatorsopstools
Tools for managing software deployments.binders.rs
A Rust name binding library inspired by the theory of Nominal Sets.spiddy
What happens when I try to build a performant compiler?purescript-pux-redux
Types and helper functions for building pux apps that interact with an external redux storetemplates.nix
My personal collection of Nix templatesgit-explorer
A program for resolving Git URIsmininix
fast-finds
Program transformations for improving the performance of searching large, static lists.bidirectional-typechecking-with-unification
haddock-backpack-issue
haskell-todo
Command Line Todo List in Haskelldunjy
It might become a reflex-brick-based dungeon crawlernominal-lambda-fix
Let's do initial algebra semantics for the category of nominal haskrel
Type-safe relational algebra compiler/interpreterbitset
treat `Vector Word64` as a set of natural numbersleeft
Learning lambda liftinghaskell-coreutils
GNU coreutils written in haskelldiagnostica
A Haskell library for rendering error diagnosticslaurel
A modern query language.phil2
Second iteration of my semi-serious toy compilergame
Making pictures move around the screen and interact, using reflex and glossfact-weird
Different implementations of factorial behaving weirdlycolumnize
Takes newline-separated items on stdin and prints them in columns on stdout.rust-and-fp
A talk about Rust and functional programmingtimespent
Some scripts time-tracking using text files and Gitbackpack-test
brenfook
reflex-list
Trying to achieve the notorious 'reactive list'date
Haskell library for working with datesthinkpad-x1-extreme-gen2-dualscreen.nix
A NixOS module that provides multi-screen functionality for the Thinkpad X1 Extreme (gen2)qfpl-haskell-nix-stencil
Stencil for QFPL's haskell+nix projects (WIP)categorial-syntax
Experiments with parsing categorial grammars https://en.wikipedia.org/wiki/Categorial_grammartype-inference-talk
Talk about type inference and unification for BFPGgitit-nix
Nix derivation for https://github.com/jgm/gitithow-fast-does-it-quicksort
Benchmarks for quicksort implementations in various languagesLove Open Source and this site? Check out how you can help us