Alternatives and similar repositories for tiny-systems-2023

Users that are interested in tiny-systems-2023 are comparing it to the libraries listed below

• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆112Updated this week
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Updated 2 years ago
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆33Updated 2 years ago
• fable-compiler / repl
  Fable online REPL
  ☆67Updated 3 weeks ago
• sleepyfran / sharp-point
  🎈 A toy DSL to create presentations in F#
  ☆19Updated 2 years ago
• alfonsogarciacaro / Feliz.Solid
  Use Zaid Ajaj Feliz API with SolidJS
  ☆48Updated 3 years ago
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆34Updated 2 years ago
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆163Updated 4 years ago
• pragmatrix / ScanRat
  ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
  ☆60Updated 5 years ago
• SchlenkR / TypeFighter
  A graph based approach to type inference written in F#
  ☆16Updated 3 weeks ago
• sgoguen / godelian-toolkit
  The Gödelian Toolkit: Systematically Testing Simple Languages
  ☆16Updated 3 months ago
• EluciusFTW / fsharp-spectre-console-template
  This repository is a minimal starter template for using Spectre.Console from a console application in F#, using commands and settings bin…
  ☆17Updated last year
• ncave / fable-raytracer
  ☆54Updated 3 months ago
• thautwarm / FSTan
  Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…
  ☆43Updated 6 years ago
• bryanedds / Prime
  An F# code library for pure functional programming... and much more!
  ☆76Updated last week
• stenbror / PythonCoreFrameworkFSharp
  Python core implemented in F# language and under dotnetcore 3.1 or later.
  ☆25Updated 5 years ago
• nosami / SokobanFabulous
  Sokoban game for iOS and Android written in F# using Xamarin Fabulous framework
  ☆20Updated 7 years ago
• lamg / wybe
  Formal verification tool based on predicate calculus and supporting several programming languages
  ☆39Updated 2 months ago
• cannorin / Parsec.fs
  Pure F# Parsec Implementation
  ☆39Updated 5 years ago
• wraikny / Do.fs
  ☆19Updated 2 years ago
• davedawkins / tinyml
  ☆11Updated last year
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆101Updated this week
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 4 years ago
• JamesRandall / fsharp-doom
  F# version of Doom using original rendering techniques (BSP etc.)
  ☆22Updated 3 years ago
• AngelMunoz / Bix
  Bix, an F# micro-framework for cross-runtime JavaScript backends
  ☆36Updated last year
• delneg / source-map-sharp
  https://github.com/mozilla/source-map for .NET, re-written in F#
  ☆14Updated 3 years ago
• tpetricek / basic
  Source code for a minimal Commodore 64 BASIC interpreter and the essay "The Lost Ways of Programming: Commodore 64 BASIC"
  ☆21Updated 3 years ago
• fable-compiler / Fable.Python
  Python bindings for Fable
  ☆144Updated 2 months ago
• fsprojects / Z3Fs
  Simple DSL to solve SMT problems using Z3 API in F#
  ☆54Updated 6 years ago