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#
  ☆28Updated 2 months ago
• 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
• Draco-lang / Language-suggestions
  Collecting ideas for a new .NET language that could replace C#
  ☆76Updated 11 months ago
• axion-lang / Axion
  Experimental programming metalanguage, targeting on intertranspiling with other languages.
  ☆19Updated 2 years ago
• ionide / LanguageServerProtocol
  Library for building Language Server Protocol servers and clients in F#.
  ☆50Updated 5 months ago
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 4 years ago
• Draco-lang / Compiler
  The compiler repository for the Draco programming language.
  ☆126Updated 3 months ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆100Updated this week
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆33Updated 2 years ago
• LanguageDev / Yoakke
  A collection of libraries for implementing compilers in .NET.
  ☆147Updated 4 months ago
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆32Updated 2 years ago
• TIHan / Oly
  Oly Language Compiler and Runtime
  ☆56Updated last week
• cannorin / FSharp.CommandLine
  A framework for building command line application in F#
  ☆58Updated 3 years ago
• faldor20 / fsharp-language-server
  ☆34Updated last year
• fable-compiler / repl
  Fable online REPL
  ☆66Updated 2 months ago
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Updated last year
• calebh / Juniper
  ☆101Updated 9 months ago
• YaccConstructor / Brahma.FSharp
  F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
  ☆75Updated 5 months ago
• fsbolero / awesome-bolero
  A curated list of Bolero samples, community projects, blogs and tutorials
  ☆12Updated 5 years ago
• rosalogia / PCParser
  A parser and interpreter for the "dialect" of "pseudocode" used in Rutgers University's Introduction to Computer Science course (01111)
  ☆16Updated 4 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
• kaashyapan / Regx
  Write regex using F# computation expressions
  ☆31Updated last year
• ionide / FSharp.Analyzers.SDK
  Library for building custom analyzers for F# / FSAC
  ☆81Updated 3 weeks ago
• AngelMunoz / fable-bun
  Fable bindings for Bun.sh
  ☆26Updated 3 years ago
• alfonsogarciacaro / Feliz.Solid
  Use Zaid Ajaj Feliz API with SolidJS
  ☆48Updated 2 years ago
• sergeyt / fint
  .NET CIL interpreter written in simple subset of F#
  ☆53Updated 2 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
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 5 years ago
• giraffe-fsharp / Giraffe.ViewEngine
  An F# view engine for Giraffe and other ASP.NET Core web applications.
  ☆53Updated 10 months ago
• TheAlgorithms / F-Sharp
  All Algorithms implemented in F#
  ☆222Updated 8 months ago