- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Earthly
- Erlang
- F*
- Frege
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- Perl
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vue
Starred repositories
8
results
for forked starred repositories
Clear filter
siyuan0322 / v6d
Forked from v6d-io/v6dvineyard (v6d): an in-memory immutable data manager. (Project under CNCF)
faster-cpython / cpython
Forked from python/cpythonThe Python programming language
airbnb / node-memwatch
Forked from marcominetti/node-memwatchA NodeJS library to keep an eye on your memory usage, and discover and isolate leaks.
cpp-netlib / cpp-netlib
Forked from glynos/cpp-netlibThe C++ Network Library Project -- cross-platform, standards compliant networking library.
stevenknown / xoc
Forked from alibaba/xocXOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There are two level IR representations used thro…
Mistuke / ghc-win-io-system
Forked from 23Skidoo/haskell-iocpGHC IO manager for Windows using completion ports
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
Neirth / FreeNOS
Forked from nieklinnenbank/FreeNOSFree Niek's Operating System (FreeNOS)