bollu Goto Github PK

interactiontrees

Formalization of the Interaction Tree Datatype in Coq

iris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework

jargon

Chrome plugin for vocabulary building

jonesforth

Mirror of JONESFORTH

kakoune

mawww's experiment for a better code editor

klein

P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library

koans

Short pieces of code that are "plays" - mostly haskell, sometimes math / other things

laines

Cycle-accurate NES emulator in ~1000 lines of code

lake

Lean 4 build system and package manager with configuration files written in Lean.

lambdacube-edsl

Purely Functional Rendering Engine

lambdacube-gl

lambdapure

languagemodels

Me messing around with language models, trying to make NLP run on commodity hardware with weird ideas.

lean-llvm

Custom-built LLVM toolchain for use in Lean 4

lean-smt

Tactics for discharging Lean goals into SMT solvers.

lean-to

Jupyter notebook for the Lean4 programming language

lean4

Lean 4 programming language and theorem prover

lean4-maze

maze game encoded in Lean 4 syntax

lean4-metaprogramming-book

lean4-mode

Emacs major mode for Lean 4

lean4_docs

The lean4 source code + documentation generated by leanprover/doc-gen4

leanrepl

leviathan-2.0

The new generation of 4k intro frameworks.

libsemigroups

C++ library for semigroups and monoids

lispinterpreter

A lisp interpreter in C++ for fun :)

lispworks-conf

LispWorks Configuration files

lizzy

a frontend for a small lazy language with rust-inspired syntax

llhd

Low Level Hardware Description — A foundation for building hardware design tools.

llvm

A fork of the LLVM project for personal use

llvm-hs

Haskell bindings for LLVM