lambdaxymox Goto Github PK

idris-nanoparsec

A minimal and simple string based parser combinator library written in Idris.

idris2

A purely functional programming language with first class types

ihaskell

A Haskell kernel for IPython.

im-rs

Assorted immutable collection datatypes for Rust

image

Encoding and decoding images in Rust

imagemagick

haskell imagemagick bindings

includeos

A minimal, resource efficient unikernel for cloud services

integer-square-root

Compute integer square roots.

iron

Coq formalizations of functional languages.

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

kaggle

Kaggle machine learning and data science competitions.

karabiner-elements

Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.

kiss3d

Keep it simple, stupid 3d graphics engine for Rust.

l4v

seL4 specification and proofs

lambdarust-coq

MIRROR

lambdaxymox.github.io

Github site.

lean

Lean Theorem Prover

lean4

Lean 4 programming language and theorem prover

learnyounode

legion

High performance Rust ECS library

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

lets-lens

Course material for lens

linux

Linux kernel source tree

liquidhaskell

Liquid Types For Haskell

list_set

Cache-friendly linked lists.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

log-buffer

A library providing ring buffers that store UTF-8 strings for logging.

lua

The Lua repo, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Send issues/patches to the Lua mailing list https://www.lua.org/lua-l.html

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

lyon

2D graphics rendering on the GPU in rust using path tessellation.