Pinned Repositories
ClozeCards
ClozeCards Beta.
cndict
core
Parser and pretty printer for GHC's external core.
fvg
Functional Vector Graphics
haskell-crux
Desugarer and high-level optimizer for Haskell.
house
Lemmih House Planning
hsSDL2
lhc
The LLVM LHC Haskell Optimization System
nanomsg
Haskell binding to libnanomsg
reanimate-ui
Experimental SwiftUI-like framework for Rust
lemmih's Repositories
lemmih/reanimate-ui
Experimental SwiftUI-like framework for Rust
lemmih/house
Lemmih House Planning
lemmih/num-criterion
Benchmarking arbitrary-precision number crates for Rust.
lemmih/apint
Arbitrary precision integers library.
lemmih/bellperson
zk-SNARK library
lemmih/cargo-criterion
Cargo extension for running Criterion.rs benchmarks
lemmih/chainsafe-interview-task
lemmih/chrono
lemmih/dashu
lemmih/femtovg
Antialiased 2D vector drawing library written in Rust
lemmih/femtovg.github.io
lemmih/filecoin
Collection of libraries to implement common patterns and standards on the Filecoin Virtual Machine
lemmih/forest
🌲 Rust Filecoin Node Implementation
lemmih/forest-website
(soon to be live) at https://forest.chainsafe.io
lemmih/geometry-predicates-rs
A Rust port of "Adaptive Precision Floating-Point Arithmetic and Fast Robust Predicates for Computational Geometry"
lemmih/hgeometry
HGeometry
lemmih/jammdb
Just Another Memory Mapped Database
lemmih/leptos-workers
A template for using Leptos ssr + server functions in a Cloudflare worker
lemmih/lotus
Reference implementation of the Filecoin protocol, written in Go
lemmih/num-bigint
Big integer types for Rust
lemmih/num-rational
Generic Rational numbers for Rust
lemmih/num-shaman
Rust implementation of shaman numbers
lemmih/prettify_pinyin
Prettify Pinyin: Turn tone numbers into tone marks
lemmih/ref-fvm
Reference implementation of the Filecoin Virtual Machine [v0, pre-alpha]
lemmih/rpds
Rust Persistent Data Structures
lemmih/rust-fil-proofs
Proofs for Filecoin in Rust
lemmih/rust-ordered-float
lemmih/serde_ipld_dagcbor
CBOR support for serde.
lemmih/stackage
"Stable Hackage": vetted consistent packages from Hackage
lemmih/vello
An experimental GPU compute-centric 2D renderer.