Pinned Repositories
automate
Gröbner bases calculations in Scheme
chibi-scheme.js
Port of Chibi-Scheme to JavaScript using Emscripten
funktionentheorie
Spezielle Kapitel zur Funktionentheorie
gravity
A little book on General Relativity and Einstein–Cartan Theory
kommutative-algebra
Kommutative Algebra
rapid-macros
An implementation of Oleg Kiselyov's CK-Macros
rapid-scheme
mirrored from https://gitlab.com/nieper/rapid-scheme.git
scheme-libraries
scheme-macros
Scheme Macro Programming
unsyntax
Mirror of Unsyntax
mnieper's Repositories
mnieper/scheme-macros
Scheme Macro Programming
mnieper/scheme-libraries
mnieper/.emacs.d
mnieper/srfi-226
Control Operators
mnieper/srfi-241
Match — Simple Pattern-Matching Syntax to Express Catamorphisms on Scheme Data
mnieper/agdapad
Agda as a collaborative multiplayer game
mnieper/cartan
mnieper/ChezScheme
Chez Scheme
mnieper/chibi-scheme
Working copy of the official chibi-scheme repository
mnieper/collectors
mnieper/enumerators
mnieper/mmscheme
mnieper/scheme-libraries-fork
Portable R6RS libraries
mnieper/sequences
Sequences
mnieper/srfi-147
Custom macro transformers
mnieper/srfi-148
Composable macros
mnieper/srfi-211
Namespaces for Scheme Macro Systems
mnieper/srfi-212
Aliases
mnieper/srfi-213
Identifier Properties
mnieper/srfi-227
Optional Arguments
mnieper/srfi-236
Evaluating Scheme expressions in an unspecified order
mnieper/srfi-237
Reconciled Records
mnieper/srfi-239
Destructuring Lists
mnieper/srfi-240
Reconciled Records
mnieper/srfi-242
The CFG Language
mnieper/srfi-244
Multiple-value Definitions
mnieper/srfi-247
Syntactic Monads
mnieper/srfi-248
Minimal delimited continuations
mnieper/srfi-254
Guardians
mnieper/synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos