-
hax Public
Forked from cryspen/haxA Rust verification tool
OCaml Apache License 2.0 UpdatedDec 3, 2025 -
monarch Public
Forked from meta-pytorch/monarchPyTorch Single Controller
Rust BSD 3-Clause "New" or "Revised" License UpdatedOct 30, 2025 -
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedAug 12, 2025 -
LibCST Public
Forked from Instagram/LibCSTA concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
Python Other UpdatedJun 2, 2023 -
-
lunatic Public
Forked from lunatic-solutions/lunaticThe Lunatic VM
Rust Apache License 2.0 UpdatedFeb 14, 2021 -
mediator-examples Public
Forked from celskeggs/mediator-examplesExamples of celskeggs/mediator in action.
Go MIT License UpdatedDec 29, 2019 -
-
littlefs Public
Forked from littlefs-project/littlefsA little fail-safe filesystem designed for microcontrollers
C BSD 3-Clause "New" or "Revised" License UpdatedAug 31, 2019 -
mimalloc Public
Forked from microsoft/mimallocmimalloc is a compact general purpose allocator with excellent performance.
C MIT License UpdatedJun 26, 2019 -
mimalloc-rs Public
Fork of mimallocator that aims to port mimalloc over to rust.
-
-
-
RustaCUDA Public
Forked from bheisler/RustaCUDARusty wrapper for the CUDA Driver API
-
-
-
nomicon Public
Forked from rust-lang/nomiconThe Dark Arts of Advanced and Unsafe Rust Programming
Apache License 2.0 UpdatedNov 23, 2018 -
cookie-cutter Public
A simple webapp for managing your favorite recipes.
JavaScript UpdatedNov 2, 2018 -
widow-rs Public
A RPC library for games
Rust BSD 3-Clause "New" or "Revised" License UpdatedSep 28, 2018 -
Bbbburrow-Wyrm Public
An online version of Mystic Vale and an AI
Python GNU General Public License v3.0 UpdatedJan 30, 2018 -
SpaceFort Public
A video game
-
-
spike Public
Forked from sipb/spikeImplementing a packet level software network load balancer
Go MIT License UpdatedOct 2, 2017 -
calypso Public
21M.385 Video Game
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 15, 2017 -
-
-
keras Public
Forked from keras-team/kerasDeep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano and TensorFlow.
Python Other UpdatedJul 14, 2016 -
-
-
svm-income Public
Code to generate a svm model to classify certain data to determine whether someone will make more or less than 50K>
{{ message }}