Tree @6f5aa26 (Download .tar.gz)
The Dipple
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, and are in the public domain unless otherwise specified.
Commit History
@6f5aa265b71b7031cdedb8b337424e14940ec040
git clone https://git.catseye.tc/The-Dipple/
- An inductively-defined type, total functions, and proofs, in F*. Chris Pressey 4 years ago
- Add implementation of topological sort in Python. Chris Pressey 4 years ago
- This repo no longer supports Mercurial. Chris Pressey 4 years ago
- Add some Standard ML examples. Chris Pressey 4 years ago
- You should always never throw any throwaway script away amirite Chris Pressey 4 years ago
- Split commandline.ml off from prompt.ml. Chris Pressey 4 years ago
- Script to collect unique words from a corpus text. Chris Pressey 4 years ago
- Add a really trivial shell script that was hanging around. Chris Pressey 4 years ago
- Show that backticks can be used when calling a shell function. Chris Pressey 4 years ago
- Add two miscellaneous Python scripts. Chris Pressey 4 years ago