jinyus / Fsharp-Teaching
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
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 11 months ago
- ☆22Updated 6 months ago
- List files in categories (and columns) - from Coherent UNIX☆41Updated 4 years ago
- Git worktree navigator☆28Updated last year
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated 2 months ago
- Dillusion is the dillo of the future☆9Updated 8 months ago
- An interpreter of subset of Python in Go☆49Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- A note-keeping web app based on Fossil SCM☆67Updated last year
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Convert s-expressions input to HTML output.☆48Updated 8 months ago
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 3 months ago
- Simple Application Sandboxing☆18Updated 7 months ago
- Multi-Array Queue program codes☆75Updated 2 months ago
- Readable macroassembler for CLR IL☆27Updated last year
- Tiny (ANSI) C library for pool allocation☆30Updated 2 months ago
- Gron in Awk☆72Updated last year
- find files using pretty C expressions☆47Updated 4 months ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆97Updated last year
- Run erlang as a WASI http server (vapourware)☆26Updated 4 months ago
- A bignum library for C.☆33Updated 8 months ago
- Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary☆69Updated 2 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- A C11 compiler for the discrete logic computer☆20Updated 11 months ago