Projects in Awesome Lists by LightAndLight
A curated list of projects in awesome lists by LightAndLight .
https://github.com/lightandlight/qtt
Quantitative Type Theory implementation
Last synced: 17 Oct 2025
https://github.com/lightandlight/sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
Last synced: 16 Mar 2025
https://github.com/lightandlight/sage
Efficient parser combinators for Haskell
Last synced: 12 Jun 2025
https://github.com/lightandlight/cbpv
A usable type system for call by push-value
Last synced: 16 Mar 2025
https://github.com/lightandlight/parametricity-proofs
Proofs of the number of inhabitants of polymorphic functions
Last synced: 16 Mar 2025
https://github.com/lightandlight/meta-lambda
Lambda Calculus with quote and unquote
Last synced: 16 Mar 2025
https://github.com/lightandlight/lambdapi
Educational implementation of dependent types
Last synced: 16 Mar 2025
https://github.com/LightAndLight/indexed-paths
A library for working with free categories
Last synced: 01 May 2025
https://github.com/lightandlight/indexed-paths
A library for working with free categories
Last synced: 08 Apr 2026
https://github.com/lightandlight/stg-llvm
Attempting to compile STG to LLVM
Last synced: 16 Mar 2025
https://github.com/lightandlight/typed-cfg
Well-typed compile time parser generator
Last synced: 18 Aug 2025
https://github.com/lightandlight/ccc
Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.
Last synced: 03 Jan 2026
https://github.com/lightandlight/eden
Experimenting with GHC's Backpack technology to create modular programming language representations
Last synced: 16 Mar 2025
https://github.com/lightandlight/rows
A language with polymorphic records and variants, using HMF inference.
Last synced: 16 Mar 2025
https://github.com/LightAndLight/ccc
Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.
Last synced: 10 Jul 2025
https://github.com/lightandlight/idris-tictactoe
TicTacToe using dependent types
Last synced: 03 Jan 2026
https://github.com/lightandlight/edit-log
Structured editing of a programming language via a log
Last synced: 05 Mar 2026
https://github.com/LightAndLight/spacemacs-neuron
A spacemacs layer for neuron
Last synced: 01 May 2025
https://github.com/lightandlight/lang
learning how 2 compile, like seriously
Last synced: 16 Mar 2025
https://github.com/lightandlight/bide
An attempt at understanding Conor McBride's bidirectional typing discipline
Last synced: 16 Mar 2025
https://github.com/lightandlight/spacemacs-neuron
A spacemacs layer for neuron
Last synced: 03 Jan 2026
https://github.com/lightandlight/phil
A pure functional language that compiles to PHP
Last synced: 09 Oct 2025
https://github.com/lightandlight/phil2-editor
Attempt at a terminal-based structural editor using Reflex and Brick
Last synced: 16 Mar 2025
https://github.com/lightandlight/classy-lc
Modular lambda calculus using Backpack and prisms
Last synced: 16 Mar 2025
https://github.com/lightandlight/tell
The MonadTell type class, and related monad transformers and utilities.
Last synced: 16 Mar 2025
https://github.com/lightandlight/como
Contextual Modal Type Theory, formalization and implementation
Last synced: 03 Jan 2026
https://github.com/lightandlight/reactive-data
A framework for building fine-grained reactive datatypes
Last synced: 16 Mar 2025
https://github.com/lightandlight/idris-lambda-reflection
Reflecting simply-typed lambda calculus into Idris
Last synced: 30 Jan 2026
https://github.com/lightandlight/pl0-haskell
PL/0 compiler written in Haskell
Last synced: 21 Jun 2025
https://github.com/lightandlight/unification
An alternative to `unification-fd`, using the `equivalence` library
Last synced: 16 Mar 2025
https://github.com/lightandlight/linearlambda
Linear lambda calculus implementation
Last synced: 24 Jun 2026
https://github.com/lightandlight/pattern-unification
Learning pattern unification
Last synced: 16 Mar 2025
https://github.com/lightandlight/learn-vulkan
Learning to use Vulkan and building a high-level interface to `vulkan-api` along the way
Last synced: 16 Mar 2025
https://github.com/lightandlight/imp
This is not the droid you're looking for
Last synced: 16 Mar 2025
https://github.com/lightandlight/monoidal-lens
Optics built using monoidal categories
Last synced: 16 Mar 2025
https://github.com/lightandlight/definable-syntax
A programming language with very few reserved keywords
Last synced: 16 Mar 2025
https://github.com/lightandlight/lightandlight.github.io
My personal GitHub Pages site
Last synced: 16 Mar 2025
https://github.com/lightandlight/certified-lc
use coq to verify stlc in a way that extracts to good haskell
Last synced: 03 Jan 2026
https://github.com/lightandlight/stencil
Shareable programmable project templates
Last synced: 12 Sep 2025
https://github.com/lightandlight/humblr
Proof-of-concept Haskell blog platform
Last synced: 16 Mar 2025
https://github.com/lightandlight/hover-pill
A game I made to learn Bevy, a Rust game engine.
Last synced: 24 Jan 2026
https://github.com/lightandlight/3d-graphics-fundamentals
Learning 3D graphics fundamentals
Last synced: 16 Mar 2025
https://github.com/lightandlight/newtype-existential
Existential quantification in newtypes using church encoding + RankNTypes
Last synced: 16 Mar 2025
https://github.com/lightandlight/pyfactor
Python DSL for Haskell with optics-based refactoring
Last synced: 20 Jul 2025
https://github.com/lightandlight/git-ustash
Save and restore unstaged changes in Git.
Last synced: 16 Mar 2025
https://github.com/lightandlight/reflex-parser
What would functional-reactive parser combinators look like?
Last synced: 16 Mar 2025
https://github.com/lightandlight/java-hindley-milner
Implementation of Hindley-Milner type inference in Java
Last synced: 16 Mar 2025
https://github.com/lightandlight/recursion-schemes-phoas
Compositional PHOAS terms
Last synced: 16 Mar 2025
https://github.com/lightandlight/opstools
Tools for managing software deployments.
Last synced: 16 Mar 2025
https://github.com/lightandlight/subst
De Bruijn indices using Backpack-y Prisms and Plated
Last synced: 16 Mar 2025
https://github.com/lightandlight/humblr-frontend
Single page app frontend for humblr written using Purescript
Last synced: 03 Jan 2026
https://github.com/lightandlight/psbt
Build tool for PureScript written in Haskell
Last synced: 02 Jul 2026
https://github.com/lightandlight/haskell-gol
Multithreaded implementation of Conway's Game of Life
Last synced: 16 Mar 2025
https://github.com/lightandlight/wgpu-mandelbrot
Rendering the Mandelbrot set using wgpu
Last synced: 02 Jul 2026
https://github.com/lightandlight/haskell-typecheck-combinators
A type checker monad and combinators
Last synced: 16 Mar 2025
https://github.com/lightandlight/leeft-idr
Attempting to build type preserving lambda lifting
Last synced: 03 Jan 2026
https://github.com/lightandlight/ray-tracing-in-one-weekend
Ray tracing in one weekend, in Rust
Last synced: 22 Jun 2025
https://github.com/lightandlight/dunjy
It might become a reflex-brick-based dungeon crawler
Last synced: 16 Mar 2025
https://github.com/lightandlight/2d-zipper
Zipper into a list-of-list, providing efficient movement commands
Last synced: 02 Jul 2026
https://github.com/lightandlight/bitset-occurs-check
An experiment where I unify using a graph, and track metas using bitsets
Last synced: 19 Sep 2025
https://github.com/lightandlight/editor
experiments with structured editing
Last synced: 01 Aug 2025
https://github.com/lightandlight/thinkpad-x1-extreme-gen2-dualscreen.nix
A NixOS module that provides multi-screen functionality for the Thinkpad X1 Extreme (gen2)
Last synced: 10 Aug 2025
https://github.com/lightandlight/bitset
treat `Vector Word64` as a set of natural numbers
Last synced: 04 Oct 2025
https://github.com/lightandlight/haskell-todo
Command Line Todo List in Haskell
Last synced: 29 Aug 2025
https://github.com/lightandlight/rust-and-fp
A talk about Rust and functional programming
Last synced: 04 Feb 2026
https://github.com/lightandlight/templates.nix
My personal collection of Nix templates
Last synced: 16 Mar 2025
https://github.com/lightandlight/spiddy
What happens when I try to build a performant compiler?
Last synced: 16 Mar 2025
https://github.com/lightandlight/timespent
Some scripts time-tracking using text files and Git
Last synced: 16 Mar 2025
https://github.com/lightandlight/fact-weird
Different implementations of factorial behaving weirdly
Last synced: 16 Mar 2025
https://github.com/lightandlight/git-explorer
A program for resolving Git URIs
Last synced: 21 Jun 2025
https://github.com/lightandlight/rel
Type-safe relational algebra compiler/interpreter
Last synced: 16 Mar 2025
https://github.com/lightandlight/reflex-list
Trying to achieve the notorious 'reactive list'
Last synced: 16 Mar 2025
https://github.com/lightandlight/qfpl-haskell-nix-stencil
Stencil for QFPL's haskell+nix projects (WIP)
Last synced: 16 Mar 2025
https://github.com/lightandlight/reflex-packrat
A kind of buggy yet promising incremental packrat-like parser using reflex
Last synced: 16 Mar 2025
https://github.com/lightandlight/phil2
Second iteration of my semi-serious toy compiler
Last synced: 23 Jul 2025
https://github.com/lightandlight/nominal-lambda-fix
Let's do initial algebra semantics for the category of nominal hask
Last synced: 16 Mar 2025
https://github.com/lightandlight/gitit-nix
Nix derivation for https://github.com/jgm/gitit
Last synced: 16 Mar 2025
https://github.com/lightandlight/haskell-coreutils
GNU coreutils written in haskell
Last synced: 16 Mar 2025
https://github.com/lightandlight/how-fast-does-it-quicksort
Benchmarks for quicksort implementations in various languages
Last synced: 16 Mar 2025
https://github.com/lightandlight/free-monad-morra
A free monad implementation of Morra from the Haskell Book
Last synced: 16 Mar 2025
https://github.com/lightandlight/game
Making pictures move around the screen and interact, using reflex and gloss
Last synced: 16 Mar 2025