Alternatives and similar repositories for tiny-systems

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

• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆104Updated 7 months ago
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Updated last year
• brianberns / CompilerDesign
  ☆9Updated 8 months ago
• lamg / wybe
  Formal verification tool based on predicate calculus and supporting several programming languages
  ☆36Updated 2 weeks ago
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆31Updated 2 years ago
• SchlenkR / TypeFighter
  A graph based approach to type inference written in F#
  ☆16Updated 2 months ago
• alfonsogarciacaro / Feliz.Solid
  Use Zaid Ajaj Feliz API with SolidJS
  ☆48Updated 2 years ago
• ncave / fable-raytracer
  ☆55Updated 2 months ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆99Updated this week
• pragmatrix / ScanRat
  ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
  ☆60Updated 4 years ago
• fable-compiler / fable3-samples
  Nagareyama (Fable 3) samples
  ☆47Updated 5 months ago
• chrisa23 / FSharp.HSM
  Hierarchical State Machine library
  ☆51Updated 4 years ago
• fable-compiler / Fable.Python
  Python bindings for Fable
  ☆141Updated last month
• cannorin / Parsec.fs
  Pure F# Parsec Implementation
  ☆40Updated 5 years ago
• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆28Updated last month
• sleepyfran / sharp-point
  🎈 A toy DSL to create presentations in F#
  ☆18Updated 2 years ago
• calebh / Juniper
  ☆102Updated 8 months ago
• fable-compiler / repl
  Fable online REPL
  ☆66Updated 3 weeks ago
• bryanedds / Prime
  An F# code library for pure functional programming... and much more!
  ☆74Updated last week
• AngelMunoz / Bix
  Bix, an F# micro-framework for cross-runtime JavaScript backends
  ☆36Updated last year
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆33Updated 2 years ago
• ionide / LanguageServerProtocol
  Library for building Language Server Protocol servers and clients in F#.
  ☆50Updated 4 months ago
• nojaf / telplin
  Generate signature files for F#
  ☆47Updated 2 weeks ago
• brianberns / AlgEff
  Algebraic effects
  ☆82Updated 8 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
• SchlenkR / Vide
  Vide - for state-aware function composition, usable from modern UIs to digital signal processing.
  ☆92Updated 4 months ago
• sgoguen / godelian-toolkit
  The Gödelian Toolkit: Systematically Testing Simple Languages
  ☆15Updated 5 months ago
• samueleaton / wiz
  The F# web framework designed for clarity and speed
  ☆37Updated 4 years ago
• ionide / FSharp.Analyzers.SDK
  Library for building custom analyzers for F# / FSAC
  ☆79Updated this week
• 0xGeorgii / SharpLogic
  Open source F# mathematical logic library.
  ☆12Updated 3 years ago