-
superhoarse Public
dictation software: local+private, optimized for vibecoding . Warning: ugly code and commit messages
-
-
-
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedAug 3, 2025 -
claude-code-source-code-deobfuscation Public
Forked from ghuntley/claude-code-source-code-deobfuscationThis is a cleanroom deobfuscation of the official Claude Code npm package.
TypeScript UpdatedMar 1, 2025 -
-
raylean Public
Forked from funexists/rayleanLean4 bindings for raylib
C zlib License UpdatedAug 14, 2024 -
org.alloytools.alloy Public
Forked from s-arash/org.alloytools.alloyAlloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Java Other UpdatedAug 5, 2024 -
grokking-sc Public
Forked from grokking-sc/grokking-scArtifact for the Functional Pearl "Grokking the Sequent Calculus"
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 11, 2024 -
-
oreilly-qc.github.io Public
Forked from oreilly-qc/oreilly-qc.github.ioCode samples for Programming Quantum Computers, from O'Reilly Media
HTML UpdatedFeb 25, 2024 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedJan 24, 2024 -
-
-
base Public
Forked from janestreet/baseStandard library for OCaml
OCaml MIT License UpdatedJun 11, 2023 -
-
counterexamples Public
Forked from stedolan/counterexamplesCounterexamples in Type Systems
JavaScript UpdatedJun 4, 2023 -
-
vscode-extension-samples Public
Forked from microsoft/vscode-extension-samplesSample code illustrating the VS Code extension API.
TypeScript Other UpdatedMay 24, 2023 -
vscode-languageserver-node Public
Forked from microsoft/vscode-languageserver-nodeLanguage server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
TypeScript MIT License UpdatedMay 22, 2023 -
hhvm Public
Forked from facebook/hhvmA virtual machine for executing programs written in Hack.
C++ Other UpdatedMar 4, 2023 -
eqwalizer Public
Forked from WhatsApp/eqwalizerA type-checker for Erlang
Erlang Apache License 2.0 UpdatedMar 3, 2023 -
ppx_import Public
Forked from ocaml-ppx/ppx_importLess redundancy in type declarations and signatures
OCaml MIT License UpdatedFeb 24, 2023 -
girards-paradox Public
Forked from lpw25/girards-paradoxA "implementation" of Girard's paradox in OCaml
OCaml UpdatedFeb 21, 2023 -
merlin Public
Forked from ocaml/merlinContext sensitive completion for OCaml in Vim and Emacs
OCaml MIT License UpdatedNov 17, 2022 -
-
-
-
SLOT Public
Forked from libtx/SLOTFormally verified model checker
Coq GNU General Public License v3.0 UpdatedMay 23, 2022 -
redux-machine Public
A tiny library (12 lines) for creating state machines in Redux apps
{{ message }}