Alternatives and similar repositories for ProLaLa2022

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

• palladin / logic
  A logic programming library for F#
  ☆46Updated 10 years 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
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆15Updated 5 years ago
• darklang / fizzboom
  Benchmark to compare async web server + interpreter + web client implementations across various languages
  ☆48Updated 2 years ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆111Updated last week
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆134Updated 7 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆82Updated 7 months ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 8 years ago
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆94Updated 9 years ago
• rkoeninger / ShenSharp
  Shen for the Common Language Runtime
  ☆36Updated last year
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 9 months ago
• racket / honu
  ☆19Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated this week
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 7 years ago
• CraigStuntz / Lbac
  Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code
  ☆49Updated 11 years ago
• fsprojects / FsGlfw3
  F# GLFW 3 Binding
  ☆10Updated 7 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 6 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• ekmett / kanso
  just a place to throw some coding experiements while i re-re-re-learn rust
  ☆15Updated 3 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago