Alternatives and similar repositories for CompilerDesign

Users that are interested in CompilerDesign are comparing it to the libraries listed below

• tpetricek / tiny-systems-2023
  Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…
  ☆42Updated 4 months ago
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 4 years ago
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Updated 2 years ago
• thautwarm / FSTan
  Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…
  ☆44Updated 6 years ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆103Updated last week
• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆32Updated 7 months ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 3 weeks ago
• pragmatrix / ScanRat
  ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
  ☆61Updated 5 years ago
• zlatozar / TigerLanguage
  Appel's Tiger language implemented in F#
  ☆13Updated 4 years ago
• davedawkins / doodletoy
  ☆21Updated 2 years ago
• davedawkins / tinyml
  ☆11Updated 2 years ago
• corsis / XParsec
  extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
  ☆55Updated 7 years ago
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆36Updated 2 years ago
• lamg / wybe
  Formal verification tool based on predicate calculus and supporting several programming languages
  ☆39Updated 5 months ago
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆163Updated 4 years ago
• stenbror / PythonCoreFrameworkFSharp
  Python core implemented in F# language and under dotnetcore 3.1 or later.
  ☆25Updated 5 years ago
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆33Updated 3 years ago
• ionide / LanguageServerProtocol
  Library for building Language Server Protocol servers and clients in F#.
  ☆54Updated last month
• 0xGeorgii / SharpLogic
  Open source F# mathematical logic library.
  ☆12Updated 3 years ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆113Updated 2 months ago
• srid / fsharp-wasm-static-demo
  A proof-of-concept demo of Bolero serverless SPA running on GitHub Pages using WebAssembly
  ☆14Updated 4 years ago
• mykolav / coollang-2020-fs
  Compiler for a small Scala subset
  ☆38Updated 10 months ago
• fsprojects / LSON
  Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)
  ☆14Updated 4 years ago
• WhiteBlackGoose / json2fs
  Tool which converts json from file into F# records
  ☆11Updated 2 years ago
• cannorin / FSharp.TypeLevel
  type-level programming in F#
  ☆39Updated 6 years ago
• AlexeyRaga / fsharp-foldl
  This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…
  ☆35Updated last year
• algebraic-graphs / fsharp
  Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
  ☆30Updated 7 years ago
• mmanela / Flango
  Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.
  ☆19Updated last year
• sleepyfran / sharp-point
  🎈 A toy DSL to create presentations in F#
  ☆19Updated 3 years ago
• kbattocchi / ILBuilder
  Prototype for an F# MSIL DSL
  ☆27Updated 12 years ago