jinyus / Fsharp-Teaching
Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Fsharp-Teaching
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆21Updated 4 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆36Updated 2 weeks ago
- Git worktree navigator☆27Updated 9 months ago
- Multi-Array Queue program codes☆75Updated last week
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 7 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆75Updated 5 months ago
- ☆22Updated 2 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- wak -- an awk implementation for toybox and standalone☆60Updated 2 weeks ago
- An interpreter of subset of Python in Go☆49Updated last year
- Binary Lambda Calculus Virtual Machine☆45Updated 9 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Data-Aware Shell☆37Updated 2 years ago
- Mini elm-inspired utilities for Ocaml CLI applications☆72Updated last week
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 weeks ago
- ISBL - Information Systems Base Language☆18Updated 10 years ago
- Simple Application Sandboxing☆18Updated 3 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆40Updated 9 months ago
- Exploring the design space of binary search trees☆43Updated 4 months ago
- Asha audio protocol implementation for linux.☆28Updated 3 weeks ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- An expression parser supporting multiple types☆20Updated last month
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- HypergraphZ - A Hypergraph Implementation in Zig☆100Updated last month
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated 8 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆57Updated 5 months ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆49Updated this week
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 2 years ago