-
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedDec 2, 2025 -
vllm Public
Forked from vllm-project/vllmA high-throughput and memory-efficient inference and serving engine for LLMs
Python Apache License 2.0 UpdatedOct 21, 2025 -
FlashMLA Public
Forked from deepseek-ai/FlashMLAFlashMLA: Efficient MLA decoding kernels
Cuda MIT License UpdatedJul 25, 2025 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedNov 12, 2024 -
-
sentencepiece Public
Forked from google/sentencepieceUnsupervised text tokenizer for Neural Network-based text generation.
C++ Apache License 2.0 UpdatedAug 31, 2023 -
-
hol-light Public
Forked from jrh13/hol-lightThe HOL Light theorem prover
OCaml Other UpdatedJan 16, 2023 -
easycrypt Public
Forked from EasyCrypt/easycryptEasyCrypt: Computer-Aided Cryptographic Proofs
OCaml MIT License UpdatedJun 2, 2022 -
-
-
lollimon Public
Forked from clf/lollimonLollimon, a monadic concurrent linear logic programming language
TeX UpdatedAug 5, 2021 -
zstd Public
Forked from facebook/zstdZstandard - Fast real-time compression algorithm
C Other UpdatedFeb 10, 2021 -
-
-
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedMay 8, 2020 -
dhcpcd Public
Forked from NetworkConfiguration/dhcpcdDHCP / IPv4LL / IPv6RA / DHCPv6 client
C BSD 2-Clause "Simplified" License UpdatedMay 6, 2020 -
-
-
faster-command-line-tools-in-nim Public
Forked from euantorano/faster-command-line-tools-in-nimA comparison of Nim's performance against the "Faster Command Line Tools in D" blog post found here: http://dlang.org/blog/2017/05/24/faster-command-line-tools-in-d/
C UpdatedJul 30, 2017 -
https-everywhere Public
Forked from EFForg/https-everywhereA browser extension that encrypts your communications with many websites that offer HTTPS but don't yet enforce it.
JavaScript Other UpdatedJun 16, 2017 -
-
-
encr Public
Forked from andrewchambers/encrA no frills stream encryption tool.
Roff MIT License UpdatedMar 17, 2017 -
-
acme-tiny Public
Forked from diafygi/acme-tinyA tiny script to issue and renew TLS certs from Let's Encrypt
Python MIT License UpdatedOct 24, 2016 -
-
-
{{ message }}