Alternatives and similar repositories for CompilerDesign

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

• tpetricek / tiny-systems
  Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…
  ☆42Updated last year
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 3 years ago
• 0xGeorgii / SharpLogic
  Open source F# mathematical logic library.
  ☆12Updated 3 years ago
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Updated last year
• 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
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆31Updated 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
• rspeele / LicenseToCIL
  Semi-safely generate CIL in F#
  ☆53Updated 4 years ago
• nojaf / telplin
  Generate signature files for F#
  ☆47Updated last month
• davedawkins / tinyml
  ☆11Updated last year
• lamg / wybe
  A theorem prover embedded in F#'s computation expressions
  ☆35Updated this week
• JamesRandall / fsharp-doom
  F# version of Doom using original rendering techniques (BSP etc.)
  ☆22Updated 2 years ago
• zlatozar / TigerLanguage
  Appel's Tiger language implemented in F#
  ☆14Updated 4 years ago
• stenbror / PythonCoreFrameworkFSharp
  Python core implemented in F# language and under dotnetcore 3.1 or later.
  ☆25Updated 5 years ago
• wraikny / Do.fs
  ☆19Updated last year
• jack-pappas / fsharp-tapl
  Accompanying code for "Types and Programming Languages", ported to F#
  ☆54Updated 11 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
• G-Research / Peregrine
  ☆15Updated last year
• kbattocchi / ILBuilder
  Prototype for an F# MSIL DSL
  ☆27Updated 11 years ago
• Infers / Infers
  A type-level logic programming language embedded in F#
  ☆32Updated 7 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years ago
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆33Updated 2 years ago
• cannorin / FSharp.TypeLevel
  type-level programming in F#
  ☆37Updated 6 years ago
• fio-fsharp / fio
  🪻A type-safe and highly concurrent library for F# based on pure functional programming
  ☆47Updated this week
• davedawkins / doodletoy
  ☆20Updated 2 years ago
• jkone27 / FSharp.Data.Mutator
  Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)
  ☆15Updated last year
• teo-tsirpanis / Covarsky
  Enabling co(ntra)variance in F# types
  ☆28Updated 2 months ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 5 years ago
• fsharp / fslang-spec
  F# Language Specification
  ☆30Updated last month
• uwu / mingine
  A truly mini physics and game engine for the web
  ☆12Updated 5 months ago