Pinned Repositories
cbpv
A usable type system for call by push-value
idris-but-its-c
Idris, but it's C
ipso
A functional scripting language.
lambdapi
Educational implementation of dependent types
meta-lambda
Lambda Calculus with quote and unquote
parametricity-proofs
Proofs of the number of inhabitants of polymorphic functions
qtt
Quantitative Type Theory implementation
rows
A language with polymorphic records and variants, using HMF inference.
sage
Efficient parser combinators for Haskell
sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
LightAndLight's Repositories
LightAndLight/sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
LightAndLight/sage
Efficient parser combinators for Haskell
LightAndLight/ipso
A functional scripting language.
LightAndLight/agda-safe-sized-types
Sized types and coinduction in Safe Agda
LightAndLight/lightandlight.github.io
My personal GitHub Pages site
LightAndLight/3d-graphics-fundamentals
Learning 3D graphics fundamentals
LightAndLight/git-ustash
Save and restore unstaged changes in Git.
LightAndLight/opstools
Tools for managing software deployments.
LightAndLight/wgpu-mandelbrot
Rendering the Mandelbrot set using wgpu
LightAndLight/diagnostica
A Haskell library for rendering error diagnostics
LightAndLight/gen-alias
Generate Fastmail-style masked emails.
LightAndLight/learn-os
Scratching the surface of OS development.
LightAndLight/mustache
Haskell implementation of mustache templates
LightAndLight/reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
LightAndLight/template-monoid
A datatype for combining monoidal values with effects.
LightAndLight/templates.nix
My personal collection of Nix templates
LightAndLight/xeval
Evaluate arithmetic in text selections
LightAndLight/citools
Tools for crafting good CI pipelines.
LightAndLight/diagnostica-sage
Error diagnostics for the `sage` parser combinator library
LightAndLight/exceptions
mtl friendly exceptions
LightAndLight/haskell-syntax-tools
Libraries for performing Haskell syntax transformations using ghc-exactprint
LightAndLight/inline-python
Embedding of python interpreter into haskell programs
LightAndLight/keepassxc
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
LightAndLight/misc
Bits and pieces.
LightAndLight/neuron
A fork of Neuron (https://github.com/srid/neuron) with performance improvements. Neuron provides future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
LightAndLight/parsers
Modular, generic parser combinators
LightAndLight/personal-configs
My config files
LightAndLight/polymorphism-third-way-talk
Talk for BFPG, May 2025
LightAndLight/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
LightAndLight/unordered-containers
Efficient hashing-based container types