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 8 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated last year
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated 4 months ago
- Git worktree navigator☆29Updated last year
- An interpreter of subset of Python in Go☆50Updated 2 years ago
- List files in categories (and columns) - from Coherent UNIX☆41Updated 4 years ago
- Embedded Lisp Interpreter☆52Updated 2 weeks ago
- ☆25Updated last week
- Social timeboxing for IRC channels☆17Updated 8 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- An optimizing compiler for a large subset of the C programming language☆26Updated this week
- ☆16Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- A bibliography for protocol design☆36Updated last month
- ☆12Updated 8 months ago
- A simple Web Assembly Interpreter☆16Updated last year
- An introduction to the J programming language that gets to the point.☆60Updated 2 weeks ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Minimalistic sum types and switches for Lua☆50Updated 4 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- Run erlang as a WASI http server (vapourware)☆27Updated 6 months ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 4 months ago
- Dillusion is the dillo of the future☆9Updated 10 months ago
- A note-keeping web app based on Fossil SCM☆67Updated last year
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 2 months ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- ZSV Utility for converting json to/from zip-separated-values☆56Updated 11 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆42Updated this week