Beast code in Giters

Marc Nieper-Wißkirchen's repositories

scheme-macros

Scheme Macro Programming

Language:Scheme45 4 1

scheme-libraries

Language:SchemeGPL-3.03 10

.emacs.d

Language:Emacs Lisp1 20

srfi-226

Control Operators

Language:HTML1 20

srfi-241

Match — Simple Pattern-Matching Syntax to Express Catamorphisms on Scheme Data

Language:Scheme100

agdapad

Agda as a collaborative multiplayer game

000

cartan

Language:Scheme010

ChezScheme

Chez Scheme

Language:SchemeApache-2.0010

chibi-scheme

Working copy of the official chibi-scheme repository

Language:SchemeNOASSERTION020

collectors

010

enumerators

010

mmscheme

010

scheme-libraries-fork

Portable R6RS libraries

Language:SchemeApache-2.0000

sequences

Sequences

010

srfi-147

Custom macro transformers

Language:Scheme020

srfi-148

Composable macros

Language:SchemeMIT020

srfi-211

Namespaces for Scheme Macro Systems

Language:HTML010

srfi-212

Aliases

Language:HTML010

srfi-213

Identifier Properties

Language:HTML010

srfi-227

Optional Arguments

Language:HTML010

srfi-230

Atomic Operations

Language:HTML010

srfi-236

Evaluating Scheme expressions in an unspecified order

Language:HTML000

srfi-237

Reconciled Records

Language:Scheme000

srfi-239

Destructuring Lists

Language:HTML000

srfi-240

Reconciled Records

Language:HTML000

srfi-242

The CFG Language

Language:Scheme000

srfi-244

Multiple-value Definitions

Language:HTML000

srfi-247

Syntactic Monads

Language:HTML000

srfi-248

Minimal delimited continuations

Language:HTML000

synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

Language:TeXMIT000