Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Agda Open Source Projects

Open source projects categorized as Haskell Agda
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Plfa.github.io ⭐ 1,285
An introduction to programming language theory in Agda
most recent commit 3 months ago
Bnfc ⭐ 551
BNF Converter
total releases 27most recent commit 3 months ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 3 years ago
Plfa Zh ⭐ 165
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
most recent commit a year ago
Agda2hs ⭐ 155
Compiling Agda code to readable Haskell
most recent commit 3 months ago
Awesome Provable ⭐ 136
A curated set of links to formal methods involving provable code.
most recent commit 2 years ago
Cornelis ⭐ 116
agda-mode for neovim
most recent commit 4 months ago
Lemmachine ⭐ 111
REST'ful web framework in Agda
most recent commit 14 years ago
Next 700 Module Systems ⭐ 69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
most recent commit 2 years ago
Nano Agda ⭐ 64
Tiny type-checker with dependent types
most recent commit 10 years ago
Vehicle ⭐ 62
A toolkit for enforcing logical specifications on neural networks
most recent commit 3 months ago
Owo ⭐ 61
Placeholder for the OwO compiler
most recent commit 5 years ago
Why Dependent Types Matter ⭐ 61
Companion code for "Why Dependent Types Matter" paper.
most recent commit 6 years ago
Algebra ⭐ 54
Abstract algebra for Rust (still very much a WIP!)
dependent packages 2total releases 2most recent commit 7 years agocargo algebra} Downloads
Spire ⭐ 53
The Spire Programming Language
most recent commit 10 years ago
Equational Reasoning In Haskell ⭐ 51
Agda-style equational reasoning in Haskell
total releases 27most recent commit 4 months ago
Typechecker Evolution ⭐ 44
The Evolution of a Typechecker
most recent commit 5 years ago
Agda Ocaml ⭐ 38
OCaml backend for Agda
most recent commit 6 years ago
Free Compiler ⭐ 38
A Haskell to Coq compiler that represents effectful programs with the free monad
most recent commit 2 years ago
Greek Grammar ⭐ 37
Modeling Ancient Greek Grammar
most recent commit 6 years ago
Menkar ⭐ 32
The multimode presheaf proof-assistant
most recent commit a year ago
Ttie ⭐ 24
Type Theory with Indexed Equality
most recent commit 7 years ago
The 2 Most Depended On Haskell Agda Open Source Projects
Dicy ⭐ 20
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
dependent packages 4total releases 29latest release December 27, 2018most recent commit 5 years agonpm @dicy/core} Downloads
Algebra ⭐ 54
Abstract algebra for Rust (still very much a WIP!)
dependent packages 2total releases 2latest release August 17, 2016most recent commit 7 years agocargo algebra} Downloads
The 8 Latest Releases In Haskell Agda Open Source Projects
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Bnfc ⭐ 551
BNF Converter
total releases 27latest release October 27, 2023most recent commit 3 months ago
Tasty Silver ⭐ 9
A fancy test runner for tasty and support for golden tests.
total releases 32latest release October 20, 2023most recent commit 6 months ago
Fix Whitespace ⭐ 8
Fixes whitespace issues
total releases 8latest release August 07, 2023most recent commit 3 months ago
Agda2lagda ⭐ 13
Simple conversion from Agda text to literate Agda text.
total releases 5latest release June 09, 2023most recent commit 3 months ago
Equational Reasoning In Haskell ⭐ 51
Agda-style equational reasoning in Haskell
total releases 27latest release October 31, 2021most recent commit 4 months ago
Dicy ⭐ 20
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
dependent packages 4total releases 29latest release December 27, 2018most recent commit 5 years agonpm @dicy/core} Downloads
Algebra ⭐ 54
Abstract algebra for Rust (still very much a WIP!)
dependent packages 2total releases 2latest release August 17, 2016most recent commit 7 years agocargo algebra} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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