dwrensha/compfiles

Catalog Of Math Problems Formalized In Lean

Commits: 2,616

capnproto/capnproto-rust

Cap'n Proto for Rust

Commits: 2,247

capnproto/capnproto-java

Cap'n Proto in pure Java

Commits: 450

dwrensha/duoludo

a game whose purpose is games

Commits: 251

dwrensha/Rupert.lean

Commits: 197

leanprover-community/mathlib4

Commits: 179

capnproto/capnp-rpc-rust

Cap'n Proto RPC for Rust

Commits: 147

dwrensha/lean4-maze

Commits: 142

sandstorm-io/sandstorm

Sandstorm is a self-hostable web productivity suite. It's implemented as a security-hardened web app package manager.

Commits: 137

dwrensha/tryateachstep

Commits: 137

dwrensha/seer

symbolic execution engine for Rust

Commits: 127

dwrensha/acronymy

user-editable, acronym-only dictionary

Commits: 119

dwrensha/gj

event loop and promises in Rust

Commits: 111

dwrensha/animate-lean-proofs

Commits: 81

dwrensha/shvoid

simulation engine for 2d crash avoidance protocols

Commits: 55

thefundamentaltheor3m/Sphere-Packing-Lean

Commits: 45

capnproto/capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

Commits: 39

gwillen/timebadgers

This is a game we made for a game jam of some kind in 2010. I can no longer remember which one. I'm pretty sure it's unfinished. And I think most of us had never used git before.

Commits: 39

zalf-rpm/capnproto

Commits: 37

dwrensha/gitweb-sandstorm

git repo as Sandstorm app

Commits: 31

dwrensha/acronymy-assistant

interactive backronym composition tool

Commits: 21

dwrensha/sandstorm-rust

Commits: 20

dwrensha/nicer-trees

Commits: 18

dwrensha/capnp-zmq-rust

Rust library for using ZeroMQ with Cap'n Proto serialization

Commits: 17

jnqnfe/rust

A safe, concurrent, practical language.

Commits: 15

ferrocene/ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

Commits: 15

rust-lang/rust

Empowering everyone to build reliable and efficient software.

Commits: 15

dwrensha/chess.lean

Chess in Lean 4

Commits: 9

dwrensha/ld26

game for ludum dare 26

Commits: 9

rust-lang/miri

An interpreter for Rust's mid-level intermediate representation

Commits: 8

dongjoon-hyun/rust

Commits: 7

Andrea-MariaDB-2/rust

Commits: 7

dwrensha/golf-horse-submissions

submissions for http://golf.horse

Commits: 7

dwrensha/config

configuration files

Commits: 7

vgarleanu/rust-esp32

Commits: 6

dwrensha/connectedworlds

game for Ludum Dare 30, using a modified version of Sandstorm.

Commits: 6

leanprover/lean4

Lean 4 programming language and theorem prover

Commits: 6

capnproto/node-capnp

Cap'n Proto bindings for Node.js

Commits: 5

erickt/rust-zmq

Rust zeromq bindings.

Commits: 4

gnzlbg/libtest_old

Rust unit-testing library

Commits: 4

SergioBenitez/rust

Commits: 4

evernym/rust-zmq-pw

Commits: 4

LostRuins/koboldcpp

Commits: 4

Nexesenex/croco.cpp

Commits: 4

aesedepece/libnx-rs-std

Commits: 4

tiiuae/llama.cpp-falcon-h1

A fork of llama.cpp with added support for the Falcon-H1 architecture. We are actively working on submitting a pull request to merge these changes into the official llama.cpp repository.

Commits: 4

jjaassoonn/projective_space

Commits: 4

crc-org/llama.cpp

Commits: 4

vext01/ykrustc_pv.old

WIP fork of softdevteam/ykrust.

Commits: 4

ggml-org/llama.cpp

LLM inference in C/C++

Commits: 4

aisamanra/rust

rust compiler fork (with stubbed-out sel4 support)

Commits: 4

nomic-ai/llama.cpp

Commits: 3

guoriyue/LangCommand

LangCommand is a local inference command-line tool that transforms natural language descriptions into shell commands.

Commits: 3

openai/miniF2F

Formal to Formal Mathematics Benchmark

Commits: 3

Manishearth/compiletest-rs

An extraction of the compiletest utility from the Rust compiler

Commits: 3

ggerganov/llama.cpp

LLM inference in C/C++

Commits: 3

shg8/llama-exp

Commits: 3

SergioBenitez/compiletest-rs

Commits: 3

stepancheg/rust-ide-rust

Patches for rust-ide

Commits: 2

capnproto/capnp-futures-rs

async serialization for Cap'n Proto messages in Rust

Commits: 2

conradkleinespel/rooster

Commits: 2

kezhuw/mio

Commits: 2

jaheba/rust-doodling

Commits: 2

ustulation/mio

Commits: 2

leanprover-community/lean4-metaprogramming-book

Commits: 2

tildeio/mio

Commits: 2

tetcoin/mio

Commits: 2

mrdouglasny/OSforGFF

Commits: 2

miapolis/mio

Commits: 2

aidanhs/rust-appveyor

Commits: 2

tokio-rs/mio

Metal I/O library for Rust.

Commits: 2

joshclune/duperdemo

Commits: 1

88-degrees/Rocket.Chat

Commits: 1

emilyriehl/infinity-cosmos

Commits: 1

cmu-l3/llmlean

LLMs + Lean, on your laptop or in the cloud

Commits: 1

carllerche/eventual

A future & stream abstraction for Rust

Commits: 1

dwrensha/gitlab-shell

Commits: 1

rustsec/advisory-db

Security advisory database for Rust crates published through crates.io

Commits: 1

andrewrk/groovebasin

Music player server with a web-based user interface.

Commits: 1

guoxiangke/meteor_livechat

Commits: 1

RocketChat/Rocket.Chat

The communications platform that puts data protection first.

Commits: 1

overleaf/overleaf

A web-based collaborative LaTeX editor

Commits: 1

andrewrk/groovebasin.com

Commits: 1

stebalien/rust-wiki

Commits: 1

devetry/devetry-chat

Commits: 1

kbuzzard/mathlib4_experiments

Porting random files from Lean 3 mathlib into Lean 4, just for fun.

Commits: 1

girving/ray

Commits: 1

girving/ray-render

Commits: 1