Alternatives and similar repositories for Fsharp-Teaching:

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

• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• scottmckuen / qoord
  Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.
  ☆33Updated 9 months ago
• gdm85 / lc
  List files in categories (and columns) - from Coherent UNIX
  ☆41Updated 4 years ago
• davvid / gcd
  Git worktree navigator
  ☆27Updated last year
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆18Updated 6 months ago
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆48Updated 7 months ago
• realyixuan / gsubpy
  An interpreter of subset of Python in Go
  ☆49Updated last year
• tekknolagi / db.py
  ☆22Updated 5 months ago
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated 11 months ago
• codesoap / httpipe
  WIP; specification of a format for communicating streams of HTTP requests and responses
  ☆14Updated 10 months ago
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated last month
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆73Updated 3 months ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆23Updated last month
• goblint / cil
  C Intermediate Language
  ☆146Updated last month
• alurm / lua-match
  Minimalistic sum types and switches for Lua
  ☆50Updated last month
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆58Updated 8 months ago
• Ericson2314 / baccumulation
  ☆44Updated 2 weeks ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated last month
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• rguiscard / fossil-notebook-demo
  A note-keeping web app based on Fossil SCM
  ☆68Updated last year
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆37Updated 4 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated last year
• massimo-nazaria / bash-textgen
  A random text generation toolchain using n-grams written in Bash
  ☆15Updated 6 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 4 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆19Updated 10 years ago
• ahalbert / ted
  A tool for editing files according to the rules of a provided Turing Machine
  ☆30Updated 3 weeks ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆38Updated last week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago