Awesome Open Source

Programming Languages

Search results for dependent types

dependent-types x

155 search results found

Elemental Magicks ⭐ 14

Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!

Spec Dependent Types ⭐ 14

Modelling dependent types with clojure.spec

An arrowized FRP library for Idris with static safety guarantees.

🧊 Модальний Гомотопічний Прувер

Dependable Data Structures ⭐ 13

Experiments in implementing functional data structures in Idris

Lightclick ⭐ 13

LightClick is a linearly typed orchestration language for Systems-on-a-Chip Designs that supports lightweight dependent types in the form of domain-specific indexed-types.

Lazy evaluation, streams etc in Erlang

Anders: Cubical Type Checker

Dependently typed core calculus with erasure

Idris Elba Dev ⭐ 12

A Whitespace-Based Dependently Typed Functional Programming Language

Seqdecprobs ⭐ 11

Agda From Nothing 2017 ⭐ 11

Agda from Nothing: Order in the Types

A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.

dependently-typed lisp with flexible compiler backends

Lambda Pi Constraint ⭐ 10

Velo Lang ⭐ 10

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.

Lean Spec ⭐ 10

Program Specification in Lean 4

Simple Dependent Type Checker

A dependently-typed programming language for Minecraft

necesito esas cosas raras con tipos

Sometimes when I feel sad I implement a dependently typed lambda calculus.

Csd Utwente ⭐ 9

Certified Software Development with Dependent Types in Idris

Dependobuf ⭐ 8

DependoBuf - a data serialization format with dependent types

Coq Skeleton ⭐ 8

A simple skeleton for Coq projects

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

dependently typed Statebox (heavy WIP)

Type Indexed Queues ⭐ 7

Queues with verified and unverified versions

A PTS Supporting Induction

📄 PDF Archive

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Smokehill ⭐ 7

A style guide for Coq

Ualib.github.io ⭐ 7

The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.

Arity Generic Lifta ⭐ 7

Provides an arity-generic version of the liftA2, liftA3... liftAn functions

Idris Docker ⭐ 7

Docker image for Idris, the functional programming language with dependent types

A Teeny Type Theory

A journey with F*

Convex Optimization using Dependent Types and Matrix Free Formulations

Nbe A Tutorial ⭐ 6

Checking Dependent Types with Normalization by Evaluation

Ghc Typelits Presburger ⭐ 6

Presburger arithmetic solver for built-in type-level naturals

Great Library Of Idris ⭐ 6

A crowd-sourced list of papers using Idris

Dep Typed Wbl Heaps ⭐ 6

Verifying weight biased leftist heaps using dependent types in Agda

Castle Bravo: Experimental HoTT Implementation

Isabelle Spartan ⭐ 6

A dependent type theory logic for Isabelle

Misc playground and random stuff

Sizechangetool ⭐ 6

A termination checker for higher-order rewriting with dependent types

Generic Reuse ⭐ 5

Source code accompanying the draft paper "Generic Zero-Cost Reuse for Dependent Types"

A gradually-typed garbage-collected WebAssembly language

Dep Typed Wbl Heaps Hs ⭐ 5

Weight-biased Leftist Heaps verified in Haskell using dependent types

A dependently typed programming language prototype

Certified Relational to Imperative

Impala2 Experiment ⭐ 5

Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.

Poberezkin.com ⭐ 5

Related Searches

Haskell Dependent Types (62)

101-155 of 155 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.