jinyus / Fsharp-TeachingLinks
Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
☆18Updated last year
Alternatives and similar repositories for Fsharp-Teaching
Users that are interested in Fsharp-Teaching are comparing it to the libraries listed below
Sorting:
- ☆22Updated 10 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- A simpler jq, and with JSONPath☆41Updated 2 years ago
- Multi-Array Queue program codes☆75Updated last month
- ☆26Updated this week
- List files in categories (and columns) - from Coherent UNIX☆41Updated 4 years ago
- Git worktree navigator☆31Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 4 months ago
- A bibliography for protocol design☆38Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- Mini elm-inspired utilities for Ocaml CLI applications☆75Updated 3 weeks ago
- building and applying patches to binary files☆73Updated last year
- ☆76Updated 6 months ago
- ☆44Updated 5 months ago
- Literate testing for command-line programs☆40Updated 6 months ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary☆69Updated 2 years ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆24Updated 6 months ago
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- C Intermediate Language☆147Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- A tool for editing files according to the rules of a provided Turing Machine☆30Updated 2 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last month
- An interpreter of subset of Python in Go☆50Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Coordinate Hash Trie: A Trie Variant Balancing between Time, Space, and Simplicity☆20Updated last week
- Embedded Lisp Interpreter☆53Updated 2 months ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- Fun with wgpu: Simulating slime mold☆24Updated 10 months ago