Marc Nieper-Wißkirchen's repositories
Language:Scheme000
srfi-247
Syntactic Monads
Language:HTML000
ChezScheme
Chez Scheme
Language:SchemeApache-2.0000
srfi-248
Minimal delimited continuations
Language:HTML000
scheme-libraries-fork
Portable R6RS libraries
Apache-2.0000
srfi-242
The CFG Language
Language:Scheme000
000
scheme-macros
Scheme Macro Programming
synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
MIT000
srfi-237
Reconciled Records
Language:Scheme000
chibi-scheme
Working copy of the official chibi-scheme repository
Language:SchemeNOASSERTION000
sequences
Sequences
000
srfi-239
Destructuring Lists
Language:HTML000
srfi-244
Multiple-value Definitions
Language:HTML000
000
000
srfi-147
Custom macro transformers
Language:Scheme000
srfi-148
Composable macros
Language:SchemeMIT000
srfi-236
Evaluating Scheme expressions in an unspecified order
Language:HTML000
srfi-212
Aliases
Language:HTML000
srfi-240
Reconciled Records
Language:HTML000
srfi-213
Identifier Properties
Language:HTML000
srfi-211
Namespaces for Scheme Macro Systems
Language:HTML000
agdapad
Agda as a collaborative multiplayer game
000
srfi-227
Optional Arguments
Language:HTML000
srfi-230
Atomic Operations
Language:HTML000