Demuirgos / Lambda-Calculus

Related projects ⓘ

Alternatives and complementary repositories for Lambda-Calculus

• axion-lang / Axion
  Experimental programming metalanguage, targeting on intertranspiling with other languages.
  ☆19Updated last year
• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆24Updated 4 months ago
• Draco-lang / Language-suggestions
  Collecting ideas for a new .NET language that could replace C#
  ☆75Updated 2 months ago
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 3 years ago
• DavidObando / gsharp
  GSharp Programming Language
  ☆12Updated 2 months ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆93Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆30Updated 3 weeks 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…
  ☆40Updated 10 months ago
• brianberns / CompilerDesign
  ☆9Updated 3 weeks ago
• erwijet / BrainF.Net
  A .NET brainfuck code parsing and execution library
  ☆25Updated 3 years ago
• cdiggins / plato
  A simple and efficient cross-platform programming language.
  ☆79Updated last week
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆32Updated last year
• kekyo / TypeInferencer
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆34Updated last year
• LanguageDev / Yoakke
  A collection of libraries for implementing compilers in .NET.
  ☆142Updated this week
• Draco-lang / Compiler
  The compiler repository for the Draco programming language.
  ☆103Updated this week
• OrbitalShell / Orbital-Shell
  Orbital Shell is a command shell based inspired by bash and POSIX recommendations, coded in C# NET 5.0
  ☆20Updated 3 years ago
• fsprojects / Z3Fs
  Simple DSL to solve SMT problems using Z3 API in F#
  ☆52Updated 5 years ago
• delneg / FSAdventArticleFFI
  Guide, description and shared knowledge related to FFI in F# and .NET in general
  ☆27Updated last year
• TIHan / Oly
  Oly Language Compiler and Runtime
  ☆51Updated this week
• jacylang / jacy
  Jacy programming language
  ☆13Updated 2 years ago
• stenbror / PythonCoreFramework
  Python core implemented in F# language and under dotnetcore 3.1 or later.
  ☆25Updated 4 years ago
• justlucdewit / cod
  cod programming language
  ☆24Updated 2 years ago
• vorov2 / dyalect
  Dyalect is a dynamic programming language for .NET.
  ☆79Updated last year
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆35Updated 4 years ago
• andrew-johnson-4 / LSTS
  Large Scale Type Systems (programming language)
  ☆113Updated this week
• sergeyt / fint
  .NET CIL interpreter written in simple subset of F#
  ☆53Updated last year
• kerams / EpubFs
  EPUB authoring library for F#.
  ☆27Updated 2 years ago
• Ricardicus / ric-script
  A modern scripting language; implemented in old school C, yacc & flex
  ☆31Updated last month
• thautwarm / Fable.Sedlex
  get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!
  ☆15Updated 2 years ago
• mmanela / Flango
  Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.
  ☆18Updated 4 months ago