-
language-garden Public
A garden of small programming language implementations 🪴
-
codespan Public
Beautiful diagnostic reporting for text-based programming languages.
-
opam-nix Public
Forked from tweag/opam-nixTurn opam-based OCaml projects into Nix derivations
Nix MIT License UpdatedJul 20, 2025 -
-
polarity Public
Forked from polarity-lang/polarityA Language with Dependent Data and Codata Types
Rust Apache License 2.0 UpdatedMar 27, 2025 -
ocaml-integers Public
Forked from yallop/ocaml-integersVarious signed and unsigned integer types for OCaml
OCaml MIT License UpdatedDec 7, 2024 -
color-rs Public
A library that provides types and conversions for working with various color formats.
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedNov 18, 2024 -
ocaml-flake-example Public
An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
-
-
approx Public
Approximate floating point equality comparisons and assertions
-
fathom Public
Forked from yeslogic/fathom🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
-
mercury Public
Forked from Mercury-Language/mercuryThe Mercury logic programming system.
Mercury Other UpdatedAug 18, 2022 -
rust-nbe-for-mltt Public
Normalization by evaluation for Martin-Löf Type Theory with dependent records
-
RecordFlux Public
Forked from AdaCore/RecordFluxFormal message specification and generation of verifiable binary parsers and message generators
Ada GNU Affero General Public License v3.0 UpdatedJun 2, 2022 -
annotated_latex_equations Public
Forked from synercys/annotated_latex_equationsExamples of how to create colorful, annotated equations in Latex using Tikz.
TeX MIT License UpdatedJan 10, 2022 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJan 8, 2022 -
algebra Public
Abstract algebra for Rust (still very much a WIP!)
-
foam-template Public template
Forked from foambubble/foam-templateFoam workpace template
HTML UpdatedDec 8, 2021 -
-
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 8, 2021 -
pikelet Public
Forked from pikelet-lang/pikelet🥞 (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types.
-
compiling-to-assembly-from-scratch Public
Forked from keleshev/compiling-to-assembly-from-scratchSource code for the book Compiling to Assembly from Scratch https://keleshev.com/compiling-to-assembly-from-scratch-the-book
TypeScript UpdatedMar 31, 2021 -
makam Public
Forked from astampoulis/makamThe Makam Metalanguage
OCaml GNU General Public License v3.0 UpdatedFeb 21, 2021 -
vscode-mercury Public
Mercury language integration for VSCode
-
firefox-data-docs Public
Forked from mozilla/data-docsA guide for Mozilla's developers and data scientists to analyze and interpret the data gathered by the Firefox Telemetry system.
CSS Mozilla Public License 2.0 UpdatedSep 1, 2020 -
marp-core Public
Forked from marp-team/marp-coreThe core of Marp converter
TypeScript MIT License UpdatedAug 21, 2020 -
elm-stlc Public
Bidirectional type checker for the simply typed lambda calculus
-
moniker Public
Automagical variable binding library for Rust
-
lindenmayer Public
Forked from rskew/lindenmayerShape Grammars in Prolog
Prolog UpdatedFeb 6, 2019
{{ message }}