Discover @LightAndLight Open Source projects

Isaac Elliott (@LightAndLight)

LightAndLight

Stars
529
Global Rank 53,175 (Top 2 %)
Followers 189
Following 30
Registered over 11 years ago
Most used languages

Haskell
74.3 %

Nix
8.3 %

Rust
5.5 %

Idris 3.7 %

Agda 2.8 %

PureScript 1.8 %

Others 3.6 %
Location 🇦🇺 Australia
Country Total Rank 937
Country Ranking

Agda 2

Idris 3

Haskell
6

PureScript 12

Nix
18

Emacs Lisp
60

Makefile 114

Rust
156

TeX
358

Java
1,940

qtt

Quantitative Type Theory implementation

sized-hkts

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

sage

Efficient parser combinators for Haskell

cbpv

A usable type system for call by push-value

idris-but-its-c

Idris, but it's C

parametricity-proofs

Proofs of the number of inhabitants of polymorphic functions

meta-lambda

Lambda Calculus with quote and unquote

lambdapi

Educational implementation of dependent types

ipso

A functional scripting language.

closure

Closure calculus implementation

indexed-paths

A library for working with free categories

mini-adapton

miniAdapton in Haskell

stg-llvm

Attempting to compile STG to LLVM

ccc

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 representations

typed-cfg

Well-typed compile time parser generator

nix-docs

Reference documentation for (a teensy part of) Nix

edit-log

Structured editing of a programming language via a log

spacemacs-neuron

A spacemacs layer for neuron

phil

A pure functional language that compiles to PHP

idris-tictactoe

TicTacToe using dependent types

lang

learning how 2 compile, like seriously

bide

An attempt at understanding Conor McBride's bidirectional typing discipline

reactive-data

A framework for building fine-grained reactive datatypes

idris-lambda-reflection

Reflecting simply-typed lambda calculus into Idris

phil2-editor

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

tell

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

pl0-haskell

PL/0 compiler written in Haskell

como

Contextual Modal Type Theory, formalization and implementation

lightandlight.github.io

My personal GitHub Pages site

classy-lc

Modular lambda calculus using Backpack and prisms

monoidal-lens

Optics built using monoidal categories

rust-wasm-gol

Learning Rust + WebAssembly

linearlambda

Linear lambda calculus implementation

stencil

Shareable programmable project templates

unification

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

learn-vulkan

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

hover-pill

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

definable-syntax

A programming language with very few reserved keywords

biscope

scopes over bifunctors

pattern-unification

Learning pattern unification

imp

This is not the droid you're looking for

humblr

Proof-of-concept Haskell blog platform

certified-lc

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

top-down-hindley-milner

plated-talk

Talk about Plated for BFPG

wgpu-mandelbrot

Rendering the Mandelbrot set using wgpu

ray-tracing-in-one-weekend

Ray tracing in one weekend, in Rust

ranged

Integers with type-level ranges

pyfactor

Python DSL for Haskell with optics-based refactoring

leeft-idr

Attempting to build type preserving lambda lifting

3d-graphics-fundamentals

Learning 3D graphics fundamentals

reflex-parser

What would functional-reactive parser combinators look like?

java-hindley-milner

Implementation of Hindley-Milner type inference in Java

haskell-gol

Multithreaded implementation of Conway's Game of Life

newtype-existential

Existential quantification in newtypes using church encoding + RankNTypes

psbt

Build tool for PureScript written in Haskell

metis

A compiler project.

recursion-schemes-phoas

Compositional PHOAS terms

quill

A query language experiment.

game-3d

3D rendering with reflex-gloss

humblr-frontend

Single page app frontend for humblr written using Purescript

subst

De Bruijn indices using Backpack-y Prisms and Plated

haskell-typecheck-combinators

A type checker monad and combinators

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?

bidirectional-typechecking-with-unification

purescript-pux-redux

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

templates.nix

My personal collection of Nix templates

git-explorer

A program for resolving Git URIs

mininix

fast-finds

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

haddock-backpack-issue

haskell-todo

Command Line Todo List in Haskell

nominal-lambda-fix

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

rel

Type-safe relational algebra compiler/interpreter

haskell-coreutils

GNU coreutils written in haskell

bitset

treat `Vector Word64` as a set of natural numbers

leeft

Learning lambda lifting

fact-weird

Different implementations of factorial behaving weirdly

diagnostica

A Haskell library for rendering error diagnostics

laurel

A modern query language.

phil2

Second iteration of my semi-serious toy compiler

game

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

timespent

Some scripts time-tracking using text files and Git

backpack-test

thinkpad-x1-extreme-gen2-dualscreen.nix

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

brenfook

reflex-list

Trying to achieve the notorious 'reactive list'

date

Haskell library for working with dates

opstools

Tools for managing software deployments.

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_grammar

dunjy

It might become a reflex-brick-based dungeon crawler

type-inference-talk

Talk about type inference and unification for BFPG

how-fast-does-it-quicksort

Benchmarks for quicksort implementations in various languages

gitit-nix

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

snake-wrangling-talk

Lambda Jam 2018 talk

free-monad-morra

A free monad implementation of Morra from the Haskell Book