flix / book

Related projects: ⓘ

• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆17Updated 3 months ago
• fwcd / curry-language-server
  IDE support for the functional logic language Curry
  ☆26Updated last month
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated 11 months ago
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆23Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆28Updated 2 weeks ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated this week
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 3 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• prologbyexample / code
  ☆26Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• flix / vscode-flix
  ☆20Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆26Updated 6 years ago
• racket / datalog
  ☆43Updated last month
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆27Updated 5 months ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆24Updated 10 years ago
• jkoppel / ecta
  ☆33Updated 5 months ago
• MatthewFluet / tree-sitter-sml
  Standard ML (SML) grammar for tree-sitter
  ☆13Updated 3 weeks ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 4 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆22Updated last month
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆52Updated 4 months ago
• racket / parser-tools
  ☆10Updated last month
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated last month
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated 2 weeks ago