Alternatives and similar repositories for Lambda-Calculus

Users that are interested in Lambda-Calculus are comparing it to the libraries listed below

• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆30Updated 4 months ago
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆34Updated 2 years ago
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 4 years ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆101Updated last week
• ionide / LanguageServerProtocol
  Library for building Language Server Protocol servers and clients in F#.
  ☆52Updated last month
• Draco-lang / Language-suggestions
  Collecting ideas for a new .NET language that could replace C#
  ☆76Updated last year
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆33Updated 2 years ago
• axion-lang / Axion
  Experimental programming metalanguage, targeting on intertranspiling with other languages.
  ☆19Updated 2 years ago
• LanguageDev / Yoakke
  A collection of libraries for implementing compilers in .NET.
  ☆147Updated 3 weeks ago
• Draco-lang / Compiler
  The compiler repository for the Draco programming language.
  ☆128Updated 5 months ago
• zlatozar / TigerLanguage
  Appel's Tiger language implemented in F#
  ☆13Updated 4 years ago
• YaccConstructor / Brahma.FSharp
  F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
  ☆77Updated 7 months ago
• 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 last month
• sergeyt / fint
  .NET CIL interpreter written in simple subset of F#
  ☆52Updated 2 years ago
• fsprojects / Z3Fs
  Simple DSL to solve SMT problems using Z3 API in F#
  ☆54Updated 6 years ago
• d-edge / fasmi
  F# -> ASM disassembler
  ☆188Updated last year
• TIHan / Oly
  Oly Language Compiler and Runtime
  ☆56Updated 3 weeks ago
• fable-compiler / repl
  Fable online REPL
  ☆67Updated 2 weeks ago
• vorov2 / dyalect
  Dyalect is a dynamic programming language for .NET.
  ☆79Updated 4 months ago
• cannorin / FSharp.CommandLine
  A framework for building command line application in F#
  ☆58Updated 3 years ago
• Agnael / LearnOpenGL.FSharp
  Exercises based on the https://learnopengl.com/ tutorials, using F# and Silk.NET as the OpenGL wrapper.
  ☆57Updated 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…
  ☆43Updated 6 years ago
• cdiggins / plato
  A simple and efficient cross-platform programming language.
  ☆91Updated 6 months ago
• giraffe-fsharp / Giraffe.ViewEngine
  An F# view engine for Giraffe and other ASP.NET Core web applications.
  ☆53Updated last year
• JordanMarr / FsharpChess
  Chess with an F# domain engine and a simple WPF UI.
  ☆27Updated 2 years ago
• delneg / FullstackWasmFSharpApp
  Fullstack WASM Application written in F#, using WASI to compile backend to be run using wasmer / wastime
  ☆17Updated 3 years ago
• ncave / fable-raytracer
  ☆54Updated 3 months ago
• kaashyapan / Regx
  Write regex using F# computation expressions
  ☆31Updated last year
• rspeele / LicenseToCIL
  Semi-safely generate CIL in F#
  ☆54Updated 4 years ago
• fcolavecchia / fp-course-public
  Make F# your first programming language
  ☆48Updated last year