steven-lolong / OmF-ws-22-23

Related projects ⓘ

Alternatives and complementary repositories for OmF-ws-22-23

• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆58Updated this week
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆22Updated last week
• lucu-language / lucu
  A systems programming language with lexical effect handlers
  ☆13Updated last month
• lexa-lang / lexa
  ☆23Updated last month
• SjVer / Som-Lang
  The Som functional programming language
  ☆22Updated last year
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆49Updated this week
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆334Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆102Updated 5 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆30Updated 11 months ago
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆21Updated last year
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 4 years ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆147Updated last week
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆59Updated last month
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆16Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆89Updated last year
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆125Updated 6 months ago
• escalier-lang / escalier-next
  Improved type safety with tight TypeScript interop
  ☆14Updated last month
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆16Updated last year
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆123Updated last year
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆50Updated last month
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆257Updated 5 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆23Updated 9 months ago