Lists (1)
Stars
A file-based mirror of the nLab wiki (Markdown+itex2MML format).
A file-based mirror of the nLab wiki (HTML format).
This package implements algorithms relying on Picard-Lefschetz theory for computing periods of algberaic varieties.
Ace Of Spades forgotten scripts, Compatible with Pysnip server and can be ported easily to piqueserver
Collection of custom scripts for setting up building/creative servers in Ace of Spades 0.75.
Plan9/9front drawterm with HIDPI scaling settings on macOS
Grammatical Framework core: compiler, shell & runtimes
Grammatical Framework's Resource Grammar Library (RGL)
Tampio: An object-oriented programming language made to resemble Finnish
A programming language in Turkish where grammatical case and mood are part of the type system.
A comprehensive line-by-line commentary on the UNIX Fourth Edition (1973) source code. Covers the kernel, file system, device drivers, shell, and utilities.
buyukakyuz / rustmm
Forked from rust-lang/rustRust without the borrow checker
pkgdemon / ladybird
Forked from LadybirdBrowser/ladybirdTruly independent web browser
An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
An English translation of Grothendieck's Fondements de la Géometrie Algébrique
A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
Safe Modern C Solution. Cicili is a Lisp-dialect programming language that implements Haskell's advanced functional semantics, like ADTs, Monads, and pattern matching, by transpiling directly to hi…
The groupoid CwF of containers, in Cubical Agda
Yet another typechecker for a dependently typed language.
monospace typeface designed for symbol-rich programming
A dependently-typed language with indexed inductive types supported.
The InitWare Suite of Middleware allows you to manage services and system resources as logical entities called units. Its main component is a service management ("init") system.