87 Open source projects that are alternatives of or similar to voile-rs

The MLPolyR programming language, revived

A collection of papers on modules.

Variant types in TypeScript

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

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

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

Homotopy Type Theory proofs in Idris

The People's Refinement Logic

Homotopy type theory

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

Xlambda: The Ultimate X Window Manager

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

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

Lecture note on Lambda Calculus and Types for FLOLAC

My undergradate thesis on coinductive types in univalent type theory

Cicada Language

😎TT

A categorical semantics library in Agda.

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

Generate passwords with Alfred

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

🔬 Where students practice and receive automated and human feedback

Homepage Theorem Proving in Lean FAQ

λΠ Programming Language Theory

A markdown parser with high extensibility.

Portal CMS is a fully featured content management system with a powerful integrated page builder. It is designed for .NET Developers to extend into a bespoke website

Research on integrating datalog & lambda calculus via monotonicity types

A selection of formal proofs in Coq.

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

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.

A modern proof language

Easy and extensible benchmarking in Elixir providing you with lots of statistics!

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

Reading schedule and our library of pdfs

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

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

Type Theory in Type Theory using Cubical Agda

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

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

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

Univalent mathematics in Agda

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

A high extensible hardware communication platform using C#

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

The extensible chat client.

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

Standalone editor for your markdown files

Towards changing things and see if it proofs

A powerful caching library for Python, with TTL support and multiple algorithm options.

A dynamic, interpreted, scripting language written in Java.

An extensible event-driven application framework in haskell

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

🍥 an extensible mock server

Lecture notes on univalent foundations of mathematics with Agda

Experimental implementation of Cubical Type Theory

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

Book: Gentle Introduction to Dependent Types with Idris

the only php webshell you need.

A Super Kawaii Dependently Typed Programming Language

Programming language agnostic type construction language based on polynomials.