fortlang / fort

Related projects ⓘ

Alternatives and complementary repositories for fort

• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 6 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• john-ml / stitch
  Prolog + SMT
  ☆7Updated 4 years ago
• mvr / tiny
  A type theory for tiny objects
  ☆10Updated 11 months ago
• RiscInside / LanguageEtudes
  Components of programming languages, all implemented in self-contained files
  ☆9Updated 8 months ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated last year
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated 10 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator.
  ☆14Updated last month
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆27Updated last week
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆20Updated this week
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 10 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆25Updated last week
• evincarofautumn / hap-hs
  Haskell [re]implementation of Hap, a simple event-based programming language.
  ☆12Updated 4 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 3 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• xanxys / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 10 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 11 months ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated 6 months ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆25Updated 2 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated 11 months ago