jinyus / Fsharp-Teaching
Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
☆18Updated 10 months ago
Related projects: ⓘ
- ☆20Updated last week
- ISBL - Information Systems Base Language☆18Updated 10 years ago
- Git worktree navigator☆27Updated 7 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 5 months ago
- An interpreter of subset of Python in Go☆48Updated last year
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆35Updated last week
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- building and applying patches to binary files☆67Updated 10 months ago
- A note-keeping web app based on Fossil SCM☆62Updated 10 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆57Updated 3 months ago
- A portable self-bootstrapping C compiler☆48Updated this week
- Multi-Array Queue program codes☆74Updated 2 months ago
- Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary☆69Updated 2 years ago
- wak -- an awk implementation for toybox and standalone☆58Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Asha audio protocol implementation for linux.☆28Updated last week
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆20Updated 2 months ago
- ☆28Updated last month
- Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.☆32Updated 4 months ago
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 3 months ago
- Zig library for HyperLogLog estimation☆84Updated 2 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆95Updated this week
- ☆13Updated 11 months ago
- Render, select coordinates, export to video and more.☆14Updated 4 months ago
- find files using pretty C expressions☆46Updated 9 months ago
- Dillusion is the dillo of the future☆9Updated 2 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆74Updated 3 months ago
- A simpler jq, and with JSONPath☆37Updated last year
- Simple Application Sandboxing☆16Updated last month