LightAndLight

Australia

Pinned Repositories

cbpv
A usable type system for call by push-value
Language:Haskell33 4 10
idris-but-its-c
Idris, but it's C
Language:Idris24 3 00
ipso
A functional scripting language.
Language:Rust17 2 2051
lambdapi
Educational implementation of dependent types
Language:Haskell19 4 03
meta-lambda
Lambda Calculus with quote and unquote
Language:Haskell19 2 01
parametricity-proofs
Proofs of the number of inhabitants of polymorphic functions
Language:Haskell23 4 00
qtt
Quantitative Type Theory implementation
Language:Haskell54 5 12
rows
A language with polymorphic records and variants, using HMF inference.
Language:Haskell7 2 01
sage
Efficient parser combinators for Haskell
Language:Haskell39 3 22
sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
Language:Haskell51 2 01

LightAndLight's Repositories

LightAndLight/sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
Language:Haskell51 2 01
LightAndLight/sage
Efficient parser combinators for Haskell
Language:Haskell39 3 22
LightAndLight/ipso
A functional scripting language.
Language:Rust17 2 2051
LightAndLight/agda-safe-sized-types
Sized types and coinduction in Safe Agda
Language:Agda3 1 0
LightAndLight/lightandlight.github.io
My personal GitHub Pages site
Language:CSS3 2 62
LightAndLight/3d-graphics-fundamentals
Learning 3D graphics fundamentals
Language:Rust2 2 0
LightAndLight/git-ustash
Save and restore unstaged changes in Git.
Language:Nix2 2 0
LightAndLight/opstools
Tools for managing software deployments.
Language:Haskell2 2 0
LightAndLight/wgpu-mandelbrot
Rendering the Mandelbrot set using wgpu
Language:Rust21
LightAndLight/diagnostica
A Haskell library for rendering error diagnostics
Language:Haskell1 3 2
LightAndLight/gen-alias
Generate Fastmail-style masked emails.
Language:Nix1 1 0
LightAndLight/learn-os
Scratching the surface of OS development.
Language:Rust1 1 0
LightAndLight/mustache
Haskell implementation of mustache templates
Language:Haskell1 0 0
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.
Language:Haskell1 0 0
LightAndLight/template-monoid
A datatype for combining monoidal values with effects.
Language:Haskell1 1 0
LightAndLight/templates.nix
My personal collection of Nix templates
Language:Nix1 2 01
LightAndLight/xeval
Evaluate arithmetic in text selections
Language:Haskell1 1 0
LightAndLight/citools
Tools for crafting good CI pipelines.
Language:Nix2 0
LightAndLight/diagnostica-sage
Error diagnostics for the `sage` parser combinator library
Language:Haskell2 0
LightAndLight/exceptions
mtl friendly exceptions
Language:Haskell1 0
LightAndLight/haskell-syntax-tools
Libraries for performing Haskell syntax transformations using ghc-exactprint
Language:Haskell
LightAndLight/inline-python
Embedding of python interpreter into haskell programs
Language:Haskell0 0
LightAndLight/keepassxc
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
Language:C++0 0
LightAndLight/misc
Bits and pieces.
Language:Haskell2 0
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)
Language:Haskell
LightAndLight/parsers
Modular, generic parser combinators
Language:Haskell0 0
LightAndLight/personal-configs
My config files
Language:Nix2 0
LightAndLight/polymorphism-third-way-talk
Talk for BFPG, May 2025
Language:TeX
LightAndLight/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Language:Haskell0 0
LightAndLight/unordered-containers
Efficient hashing-based container types