90 Open source projects that are alternatives of or similar to MLPolyR

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

A Super Kawaii Dependently Typed Programming Language

A collection of papers on modules.

The People's Refinement Logic

An advanced Twitter bot.

Agda is a dependently typed programming language / interactive theorem prover.

Cicada Language

A Language for the Pithy Articulation of Cellular Automata

Homotopy type theory

Programming language agnostic type construction language based on polynomials.

My undergradate thesis on coinductive types in univalent type theory

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Homepage Theorem Proving in Lean FAQ

❤️ Stable and lovely router for `koa`, using `path-match`. Foundation for building powerful, flexible and RESTful APIs easily.

List of resources about foundational knowledge for programmers (supposed to last a few decades)

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

😎TT

[WIP] 🚀 a framework for building frameworks

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

Book: Gentle Introduction to Dependent Types with Idris

λΠ Programming Language Theory

The flexible TypeScript Markdown editor that powers https://octo.app

A Domain Representation Language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Entia is a free, open-source, data-oriented, highly performant, parallelizable and extensible Entity-Component-System (ECS) framework written in C# especially for game development.

Homotopy Type Theory proofs in Idris

Specification of the IR for Flyte workflows and tasks. Also Interfaces for all backend services. https://docs.flyte.org/projects/flyteidl/en/stable/

Declarative library to build Web API clients & SDKs for the browser and node.js

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

A categorical semantics library in Agda.

Lecture notes on univalent foundations of mathematics with Agda

A framework to build power system oriented software

A selection of formal proofs in Coq.

Univalent mathematics in Agda

A modern proof language

A research project in path semantics, a re-interpretation of functions for expressing mathematics

A SuperCompiler for Martin-Löf's Type Theory

Lecture note on Lambda Calculus and Types for FLOLAC

Formalising Type Theory in a modular way for translations between type theories

(!! moved to tunnckoCore/opensource !! try `parse-commit-message@canary`) Parse, stringify or validate a commit messages that follows Conventional Commits Specification

Normalization by evaluation for Martin-Löf Type Theory with dependent records

A developing game server framework,based on Entity Component System(ECS).

Towards changing things and see if it proofs

Type Theory in Type Theory using Cubical Agda

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Reading schedule and our library of pdfs

Experimental implementation of Cubical Type Theory

Variant types in TypeScript

Research on integrating datalog & lambda calculus via monotonicity types

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

An extensible and composable cli

A dynamic, interpreted, scripting language written in Java.

A bundler for modular and extensible web projects.

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

🚀 A fully extensible and open source launcher for hackers, creators and dabblers.

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

the only php webshell you need.