Tree @master (Download .tar.gz)
The Dipple
See also: Chrysoberyl ∘ The Dossier ∘ The Glosscubator
Welcome to the Dipple, where code goes when its home planet has been destroyed. (With apologies to Andre Norton.)
You'll meet a range of characters here, from the banal to the exceptional to the shrouded-in-mystery. Sources are categorized by language.
License
The vast majority of the sources here are in the public domain, having been dedicated to the public domain by use of the device of the Unlicense. A few are however under different licenses. Following the REUSE convention (version 3.0), the licenses themselves are kept in the LICENSES directory, and each file is linked to the license that applies to it.
Commit History
@master
git clone https://git.catseye.tc/The-Dipple/
- Lua implementation of variant records (algebraic data types). Chris Pressey 2 years ago
- Add an implementation of an immutable map data structure in Lua. Chris Pressey 2 years ago
- Add Playfield class, extracted from Beturing code and converted. Chris Pressey 2 years ago
- Add example of importing and using a module as a class in Lua. Chris Pressey 2 years ago
- Add toy LCF-style theorem prover for Equational Theory of Groups. Chris Pressey 2 years ago
- Add ambinate.py, to make a more permanent home for it. Chris Pressey 2 years ago
- Create probabilities_as_ratios.py Chris Pressey (commit: GitHub) 2 years ago
- Add script for comparing the branch in the repos in two shelves. Chris Pressey 3 years ago
- Tiny example of reading an S-expression in from stdin. Chris Pressey 3 years ago
- Add a trivial Dafny source, and instructions on installing Dafny. Chris Pressey 3 years ago
- Rudimentary demo of binary search tree using inheritance. Chris Pressey 3 years ago
- Add some example programs written in Nim. Chris Pressey 3 years ago
- Create stringarith.lua Chris Pressey (commit: GitHub) 3 years ago
- Split AssocList demo off into own module. Chris Pressey 4 years ago
- Example of an AST using record inheritance and polymorphism. Chris Pressey 4 years ago
- Implement 'Merge' operation. Chris Pressey 4 years ago
- Replace 'Make' with 'Insert', 'Find' with 'Lookup'. Chris Pressey 4 years ago
- Add Remove operation to AssocList. Chris Pressey 4 years ago
- Add rudimentary implementation of association lists in Oberon. Chris Pressey 4 years ago
- Add a binary tree module in Oberon, and demo of using that module. Chris Pressey 4 years ago
- Add Oberon-07 program that outputs the first 30 Fibonacci numbers. Chris Pressey 4 years ago
- Add a JavaScript function that produces all permutations of an Array. Chris Pressey 4 years ago
- Add a Haskell function that splits text into lines. Chris Pressey 5 years ago
- "You'll note there is no 'P' in it -- Let's keep it that way" NOT Chris Pressey 5 years ago
- Show that every natural number is either even or odd, but not both. Chris Pressey 5 years ago
- Show that, for lists, Nil is the unit for append. Chris Pressey 5 years ago
- Add a working version of the proof, using normalize_term_spec. Chris Pressey 5 years ago
- Extract OCaml from an F* development and build a binary from it. Chris Pressey 5 years ago
- Some trivial assertions on FStar.Strings. Chris Pressey 5 years ago
- An inductively-defined type, total functions, and proofs, in F*. Chris Pressey 5 years ago