Alternatives and similar repositories for Fsharp-Teaching:

Users that are interested in Fsharp-Teaching are comparing it to the libraries listed below

• codesoap / httpipe
  WIP; specification of a format for communicating streams of HTTP requests and responses
  ☆14Updated last year
• davvid / gcd
  Git worktree navigator
  ☆28Updated last year
• gdm85 / lc
  List files in categories (and columns) - from Coherent UNIX
  ☆41Updated 4 years ago
• codr7 / eli
  Embedded Lisp Interpreter
  ☆42Updated this week
• thegoodduck / Dillusion
  Dillusion is the dillo of the future
  ☆9Updated 9 months ago
• realyixuan / gsubpy
  An interpreter of subset of Python in Go
  ☆49Updated last year
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 3 months ago
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 4 months ago
• elijah-potter / thrax-language
  A toy programming language I wrote in late 2022
  ☆23Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated last year
• Ericson2314 / baccumulation
  ☆44Updated 2 months ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated 10 months ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆23Updated 3 months ago
• alurm / lua-match
  Minimalistic sum types and switches for Lua
  ☆50Updated 3 months ago
• tekknolagi / db.py
  ☆22Updated 7 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• crowdwave / arniesmtpbufferserver
  ☆13Updated last year
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆58Updated 10 months ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• susam / tzero
  Social timeboxing for IRC channels
  ☆17Updated 7 months ago
• scottmckuen / qoord
  Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.
  ☆33Updated 11 months ago
• msmolkin / super-grep
  ☆11Updated 6 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆19Updated 10 years ago
• KhushPatibandha / jsonParser
  ☆21Updated 8 months ago
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆18Updated 7 months ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆79Updated last month
• aconz2 / program-explorer
  ☆24Updated this week
• rtheunissen / bst
  Exploring the design space of binary search trees
  ☆45Updated last month