Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell agda
agda
x
haskell
x
42 search results found
Agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
Plfa.github.io
⭐
1,285
An introduction to programming language theory in Agda
Bnfc
⭐
551
BNF Converter
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Plfa Zh
⭐
165
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Agda2hs
⭐
155
Compiling Agda code to readable Haskell
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Cornelis
⭐
116
agda-mode for neovim
Lemmachine
⭐
111
REST'ful web framework in Agda
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.
Nano Agda
⭐
64
Tiny type-checker with dependent types
Vehicle
⭐
62
A toolkit for enforcing logical specifications on neural networks
Owo
⭐
61
Placeholder for the OwO compiler
Why Dependent Types Matter
⭐
61
Companion code for "Why Dependent Types Matter" paper.
Algebra
⭐
54
Abstract algebra for Rust (still very much a WIP!)
Spire
⭐
53
The Spire Programming Language
Equational Reasoning In Haskell
⭐
51
Agda-style equational reasoning in Haskell
Typechecker Evolution
⭐
44
The Evolution of a Typechecker
Agda Ocaml
⭐
38
OCaml backend for Agda
Free Compiler
⭐
38
A Haskell to Coq compiler that represents effectful programs with the free monad
Greek Grammar
⭐
37
Modeling Ancient Greek Grammar
Menkar
⭐
32
The multimode presheaf proof-assistant
Ttie
⭐
24
Type Theory with Indexed Equality
Cain
⭐
23
Category theory applied to functional programming (undergraduate project)
Agda System Io
⭐
23
Bindings to Haskell's IO monad which respect Agda's semantics
Dicy
⭐
20
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
Cubeviz2
⭐
18
Agsyhol
⭐
14
Gpif Idris
⭐
14
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Agda Bench
⭐
14
Benchmarking tool for compile-time performance of Agda programs
Blog
⭐
14
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
Agda2lagda
⭐
13
Simple conversion from Agda text to literate Agda text.
Whatrtypes4
⭐
10
being the materials from my YOW LambdaJam 2016 talk
Agda Unused
⭐
9
Check for unused code in an Agda project.
Tasty Silver
⭐
9
A fancy test runner for tasty and support for golden tests.
Haskell Exchange 2015
⭐
9
TODO
Fix Whitespace
⭐
8
Fixes whitespace issues
Abel
⭐
8
Category theory applied to functional programming
Polymonad Proofs
⭐
7
Agda proofs about polymonads
Convex
⭐
6
Convex Optimization using Dependent Types and Matrix Free Formulations
Spire
⭐
6
The Spire Programming Language
Agdoparsec
⭐
5
Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library.
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-42 of 42 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.