David Himmelstrup (lemmih)

lemmih

Geek Repo

Company:@ChainSafe

Location:Copenhagen

Home Page:http://www.haskellers.com/user/Lemmih

Github PK Tool:Github PK Tool


Organizations
acid-state
haskell-suite
reanimate
rgeometry

David Himmelstrup's repositories

reanimate-ui

Experimental SwiftUI-like framework for Rust

Language:RustStargazers:5Issues:1Issues:0

num-criterion

Benchmarking arbitrary-precision number crates for Rust.

Language:RustLicense:Apache-2.0Stargazers:2Issues:2Issues:2

apint

Arbitrary precision integers library.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

bellperson

zk-SNARK library

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cargo-criterion

Cargo extension for running Criterion.rs benchmarks

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:HTMLLicense:UnlicenseStargazers:0Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

femtovg

Antialiased 2D vector drawing library written in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

filecoin

Collection of libraries to implement common patterns and standards on the Filecoin Virtual Machine

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

forest

🌲 Rust Filecoin Node Implementation

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

forest-website

(soon to be live) at https://forest.chainsafe.io

Language:TypeScriptStargazers:0Issues:0Issues:0

geometry-predicates-rs

A Rust port of "Adaptive Precision Floating-Point Arithmetic and Fast Robust Predicates for Computational Geometry"

Language:RustLicense:MITStargazers:0Issues:0Issues:0

hgeometry

HGeometry

Language:HaskellStargazers:0Issues:1Issues:0

jammdb

Just Another Memory Mapped Database

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

linear

Low-dimensional linear algebra primitives for Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

lotus

Reference implementation of the Filecoin protocol, written in Go

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

num-bigint

Big integer types for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

num-rational

Generic Rational numbers for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

num-shaman

Rust implementation of shaman numbers

Language:CStargazers:0Issues:2Issues:0

prettify_pinyin

Prettify Pinyin: Turn tone numbers into tone marks

Language:RustLicense:MITStargazers:0Issues:0Issues:0

ref-fvm

Reference implementation of the Filecoin Virtual Machine [v0, pre-alpha]

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rpds

Rust Persistent Data Structures

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

rust-fil-proofs

Proofs for Filecoin in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0

serde_ipld_dagcbor

CBOR support for serde.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

vector-circular

cycling vectors with O(1) rotation and O(1), total access

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

vello

An experimental GPU compute-centric 2D renderer.

Language:RustLicense:UnlicenseStargazers:0Issues:0Issues:0