Discover LightAndLight/humblr-frontend Open Source project

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.

sized-hkts

Efficient parser combinators for Haskell

sage

A usable type system for call by push-value

cbpv

idris-but-its-c

Idris, but it's C

Proofs of the number of inhabitants of polymorphic functions

parametricity-proofs

Lambda Calculus with quote and unquote

meta-lambda

Educational implementation of dependent types

lambdapi

A functional scripting language.

ipso

Closure calculus implementation

closure

A library for working with free categories

indexed-paths

mini-adapton

miniAdapton in Haskell

Attempting to compile STG to LLVM

stg-llvm

Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.

ccc

Agda

rows

A language with polymorphic records and variants, using HMF inference.

Experimenting with GHC's Backpack technology to create modular programming language representations

eden

Well-typed compile time parser generator

typed-cfg

Reference documentation for (a teensy part of) Nix

nix-docs

Structured editing of a programming language via a log

edit-log

A spacemacs layer for neuron

spacemacs-neuron

Emacs Lisp

phil

A pure functional language that compiles to PHP

TicTacToe using dependent types

idris-tictactoe

learning how 2 compile, like seriously

lang

An attempt at understanding Conor McBride's bidirectional typing discipline

bide

A framework for building fine-grained reactive datatypes

reactive-data

Reflecting simply-typed lambda calculus into Idris

idris-lambda-reflection

Attempt at a terminal-based structural editor using Reflex and Brick

phil2-editor

The MonadTell type class, and related monad transformers and utilities.

tell

PL/0 compiler written in Haskell

pl0-haskell

Contextual Modal Type Theory, formalization and implementation

como

Agda

lightandlight.github.io

My personal GitHub Pages site

Modular lambda calculus using Backpack and prisms

classy-lc

Optics built using monoidal categories

monoidal-lens

Learning Rust + WebAssembly

rust-wasm-gol

Linear lambda calculus implementation

linearlambda

Shareable programmable project templates

stencil

An alternative to `unification-fd`, using the `equivalence` library

unification

Learning to use Vulkan and building a high-level interface to `vulkan-api` along the way

learn-vulkan

A game I made to learn Bevy, a Rust game engine.

hover-pill

A programming language with very few reserved keywords

definable-syntax

biscope

scopes over bifunctors

Learning pattern unification

pattern-unification

This is not the droid you're looking for

imp

Proof-of-concept Haskell blog platform

humblr

use coq to verify stlc in a way that extracts to good haskell

certified-lc

Makefile

top-down-hindley-milner

Talk about Plated for BFPG

plated-talk

Rendering the Mandelbrot set using wgpu

wgpu-mandelbrot

Ray tracing in one weekend, in Rust

ray-tracing-in-one-weekend

Integers with type-level ranges

ranged

Python DSL for Haskell with optics-based refactoring

pyfactor

Attempting to build type preserving lambda lifting

leeft-idr

Learning 3D graphics fundamentals

3d-graphics-fundamentals

Save and restore unstaged changes in Git.

git-ustash

What would functional-reactive parser combinators look like?

reflex-parser

Implementation of Hindley-Milner type inference in Java

java-hindley-milner

Java

haskell-gol

Multithreaded implementation of Conway's Game of Life

Existential quantification in newtypes using church encoding + RankNTypes

newtype-existential

Build tool for PureScript written in Haskell

psbt

metis

A compiler project.

Compositional PHOAS terms

recursion-schemes-phoas

A query language experiment.

quill

3D rendering with reflex-gloss

game-3d

De Bruijn indices using Backpack-y Prisms and Plated

subst

A type checker monad and combinators

haskell-typecheck-combinators

A Rust name binding library inspired by the theory of Nominal Sets.

binders.rs

What happens when I try to build a performant compiler?

spiddy

bidirectional-typechecking-with-unification

Types and helper functions for building pux apps that interact with an external redux store

purescript-pux-redux

PureScript

templates.nix

My personal collection of Nix templates

A program for resolving Git URIs

git-explorer

mininix

Program transformations for improving the performance of searching large, static lists.

fast-finds

haddock-backpack-issue

Command Line Todo List in Haskell

haskell-todo

Let's do initial algebra semantics for the category of nominal hask

nominal-lambda-fix

Type-safe relational algebra compiler/interpreter

rel

GNU coreutils written in haskell

haskell-coreutils

treat `Vector Word64` as a set of natural numbers

bitset

leeft

Learning lambda lifting

Different implementations of factorial behaving weirdly

fact-weird

A Haskell library for rendering error diagnostics

diagnostica

laurel

A modern query language.

Second iteration of my semi-serious toy compiler

phil2

Making pictures move around the screen and interact, using reflex and gloss

game

Takes newline-separated items on stdin and prints them in columns on stdout.

columnize

A talk about Rust and functional programming

rust-and-fp

TeX

timespent

Some scripts time-tracking using text files and Git

backpack-test

A NixOS module that provides multi-screen functionality for the Thinkpad X1 Extreme (gen2)

thinkpad-x1-extreme-gen2-dualscreen.nix

brenfook

Trying to achieve the notorious 'reactive list'

reflex-list

Haskell library for working with dates

date

Tools for managing software deployments.

opstools

Stencil for QFPL's haskell+nix projects (WIP)

qfpl-haskell-nix-stencil

Experiments with parsing categorial grammars https://en.wikipedia.org/wiki/Categorial_grammar

categorial-syntax

It might become a reflex-brick-based dungeon crawler

dunjy

Talk about type inference and unification for BFPG

type-inference-talk

TeX

how-fast-does-it-quicksort

Benchmarks for quicksort implementations in various languages

Nix derivation for https://github.com/jgm/gitit

100

gitit-nix