gramlang / gram

Related projects: ⓘ

• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated last month
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 3 months ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆12Updated 3 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆48Updated 2 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 years ago
• marcopennekamp / lore
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆16Updated last year
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 6 years ago
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆32Updated last week
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 3 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆52Updated 4 months ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆12Updated 2 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 4 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆79Updated 3 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 6 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆49Updated last year
• jacylang / jacy
  Jacy programming language
  ☆13Updated 2 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆105Updated last week
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆79Updated 4 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆91Updated 2 years ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆23Updated 5 years ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆28Updated 2 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• zachgk / catln
  A high-level programming language
  ☆35Updated last week
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆68Updated 7 years ago
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 2 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 3 years ago