-
internment Public
Forked from droundy/internmentInterning of data in rust
Rust Apache License 2.0 UpdatedMar 2, 2025 -
bpaf Public
Forked from pacak/bpafCommand line parser with applicative interface
Rust Apache License 2.0 UpdatedFeb 24, 2025 -
built Public
Forked from lukaslueg/builtProvides a crate with information from the time it was built.
Rust MIT License UpdatedJan 9, 2025 -
obsidian-noisy-editorsuggest Public
An Obsidian plugin that prints out all the information an EditorSuggest receives, for learning how things work
TypeScript UpdatedNov 23, 2024 -
macrotest Public
Forked from eupn/macrotestTest harness for declarative and procedural macros expansion via `cargo-expand`
Rust UpdatedJul 2, 2024 -
git-filter-repo Public
Forked from newren/git-filter-repoQuickly rewrite git repository history (filter-branch replacement)
Python Other UpdatedMar 7, 2024 -
rust-embedded-discovery Public
Forked from rust-embedded/discoveryDiscovering the world of microcontrollers through Rust!
Rust Apache License 2.0 UpdatedJan 28, 2024 -
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanWorked solutions to PatrickMassot/GlimpseOfLean (An introduction to theorem proving in Lean for the impatient.)
Lean Apache License 2.0 UpdatedJan 5, 2024 -
fourmolu.el Public
Forked from vyorkin/ormolu.elA configurable formatter for Haskell source code (based on vyorkin/ormolu.el)
Emacs Lisp UpdatedNov 23, 2023 -
flambda-backend Public
Forked from oxcaml/oxcamlThe Flambda backend project for OCaml
OCaml UpdatedSep 20, 2023 -
ocamlformat Public
Forked from janestreet/ocamlformatAuto-formatter for OCaml code
OCaml MIT License UpdatedSep 19, 2023 -
th-printf Public
Forked from pikajude/th-printfCompile-time checked printf
-
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedAug 10, 2023 -
crawl Public
Forked from crawl/crawlDungeon Crawl: Stone Soup fork for PRs
C++ Other UpdatedJun 9, 2023 -
ocaml-jst Public
Forked from ocaml-flambda/ocaml-jstOCaml plus Jane Street extensions
OCaml Other UpdatedMay 26, 2023 -
merlin Public
Forked from ocaml/merlinContext sensitive completion for OCaml in Vim and Emacs
OCaml MIT License UpdatedDec 5, 2022 -
ocaml Public
Forked from lpw25/ocamlMy experiments with and extensions to OCaml
OCaml UpdatedJun 28, 2022 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedJun 19, 2022 -
ocaml-algebraic-effects Public
A semantics for our proposed design for algebraic effects for OCaml
5 UpdatedJul 16, 2021 -
urn-random Public
A Haskell package for updatable discrete distributions
-
hs-to-coq Public archive
Convert Haskell source code to Coq source code
-
tree-dye Public
Random spanning tree “tie-dye”
-
quantum-halftoning Public
The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”
-
magnus_archives_transcripts Public
Forked from Snarp/magnus_archives_transcriptsLazy Jekyll site of transcripts of episodes of the podcast The Magnus Archives.
CSS MIT License UpdatedNov 10, 2019 -
text-set Public
Use a DAFSA (aka a DAWG) to implement a set of strings
-
jfp-natbib-hack Public
A hack to make JFP's bibliography compatible with natbib
-
-
functional-shuffle Public
Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm
-
coqc-expand-errors Public
Run `coqc` and print out colorized Coq error location information
-
stack Public
Forked from commercialhaskell/stackThe Haskell Tool Stack
Haskell Other UpdatedSep 9, 2018
{{ message }}