adamnemecek

adamnemecek

Geek Repo

Company:ngrid.io

Location:Los Angeles, Prague

Home Page:ngrid.io

Github PK Tool:Github PK Tool

adamnemecek's starred repositories

bloop

bloop is a fast code search engine written in Rust.

Language:RustLicense:NOASSERTIONStargazers:8476Issues:61Issues:121

pgvecto.rs

Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.

Language:RustLicense:Apache-2.0Stargazers:1260Issues:16Issues:136

rip

A safe and ergonomic alternative to rm

Language:RustLicense:GPL-3.0Stargazers:1236Issues:7Issues:29

femtoGPT

Pure Rust implementation of a minimal Generative Pretrained Transformer

Language:RustLicense:MITStargazers:698Issues:12Issues:15

halo2

The Halo2 zero-knowledge proving system

Language:RustLicense:NOASSERTIONStargazers:631Issues:39Issues:331

hydroflow

Hydro's low-level dataflow runtime

Language:RustLicense:Apache-2.0Stargazers:413Issues:10Issues:290

malachite

An arbitrary-precision arithmetic library for Rust.

Language:RustLicense:LGPL-3.0Stargazers:407Issues:7Issues:29

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:343Issues:19Issues:344

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Language:CoqLicense:MITStargazers:104Issues:8Issues:5

at

Effective Algebraic Topology in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:79Issues:5Issues:0

rings

Rings: efficient JVM library for polynomial rings

quizx

A speedy Rust port of PyZX

Language:OpenQASMLicense:Apache-2.0Stargazers:41Issues:8Issues:5

agda-software-foundations

Porting of software foundations book to Agda

hypervis

A silly 4D physics simulation.

interact

Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf

Language:ScalaStargazers:24Issues:1Issues:0

easy-ml

Machine learning library providing matrices, named tensors, linear algebra and autodiff aimed at being easy to use

Language:RustLicense:MPL-2.0Stargazers:21Issues:4Issues:3

Tenet.jl

Composable Tensor Network library in Julia

Language:JuliaLicense:Apache-2.0Stargazers:14Issues:4Issues:70

diffgeo

A formalization of synthetic differential geometry in Coq using infinitesimal analysis

Language:CoqStargazers:9Issues:3Issues:0

nohm

Nondeterministic Optimal Higher-order Machine

Language:PythonLicense:Apache-2.0Stargazers:8Issues:2Issues:0

q-gpu

moved to https://github.com/Zhaoyilunnn/qdao

Language:C++License:Apache-2.0Stargazers:8Issues:0Issues:0

trace-monoids

Trace monoids in Cubical Agda

Language:AgdaStargazers:7Issues:2Issues:0

SequenceAlgebra

Code from the paper "In Praise of Sequence (Co-)Algebra and its implementation in Haskell" by K. Clenaghan.

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:3Issues:0

swifty-tracktion-engine

A swift package that wraps Traction Engine (C++).

Language:SwiftStargazers:6Issues:0Issues:0

operads

Modernised version of http://hackage.haskell.org/package/Operads

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:3Issues:0

moebius

Eigenvalues and eigenfunction of Laplace-Beltrami operator on a Möbius strip.

Language:JuliaStargazers:2Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

FSymbolsFromModules

Accompanying code for 'Computing associators of endomorphism fusion categories'.

Language:MathematicaStargazers:1Issues:0Issues:0

geometry

Kinds of geometric spaces.

Language:RustStargazers:1Issues:0Issues:0

mobius

A fast Rust implementation of the Mobius function

Language:ShellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0