Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Coq Open Source Projects

Open source projects categorized as Haskell Coq
Hs To Coq ⭐ 281
Convert Haskell source code to Coq source code
most recent commit 3 years ago
Fscq ⭐ 220
FSCQ is a certified file system written and proven in Coq
most recent commit 2 years ago
Coq Haskell ⭐ 159
A library for formalizing Haskell types and functions in Coq
most recent commit 7 months ago
Awesome Provable ⭐ 136
A curated set of links to formal methods involving provable code.
most recent commit 2 years ago
Logitext ⭐ 129
Beautiful, interactive visualizations of logical inference
most recent commit 3 years ago
Lambdajs ⭐ 86
Semantics and tools for JavaScript
most recent commit 2 years ago
Hs To Coq ⭐ 69
Convert Haskell source code to Coq source code.
most recent commit 10 months 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 3 years ago
Corespec ⭐ 64
A Specification for Dependent Types in Haskell (Core)
most recent commit 2 years ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Riscvspecformal ⭐ 58
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.
most recent commit 4 years ago
Free Compiler ⭐ 38
A Haskell to Coq compiler that represents effectful programs with the free monad
most recent commit 2 years ago
Xmonad ⭐ 38
xmonad in Coq
most recent commit 12 years ago
Normalization Bench ⭐ 36
Lambda normalization and conversion checking benchmarks for various implementations
most recent commit 3 years ago
Learn Haskell Coq Ml Etc ⭐ 34
Where I try code from Haskell (etc) books, articles, etc.
most recent commit a year ago
Profunctor Monad ⭐ 33
Bidirectional programming in Haskell with monadic profunctors
total releases 2most recent commit 2 years ago
Coq Ecosystem ⭐ 32
most recent commit 6 years ago
Roscoq ⭐ 32
Robots powered by Constructive Reals
most recent commit 7 years ago
Howtoproveacompiler ⭐ 32
Writeup that goes along with this:
most recent commit 6 years ago
Contracts ⭐ 31
Symbolic financial contract EDSL
most recent commit 8 years ago
Mlcert ⭐ 30
Certified Machine Learning
most recent commit 4 years ago
Lngen ⭐ 29
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
most recent commit 5 months ago
Luck ⭐ 28
Luck -- A Language for Property-Based Generators
most recent commit 6 years ago
The 3 Latest Releases In Haskell Coq Open Source Projects
Profunctor Monad ⭐ 33
Bidirectional programming in Haskell with monadic profunctors
total releases 2latest release May 17, 2022most recent commit 2 years ago
Containers Verified ⭐ 18
A package re-exporting the verified subset of containers
total releases 2latest release June 18, 2018most recent commit 6 years ago
Comonad Transformers ⭐ 11
Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.
total releases 60latest release January 26, 2015most recent commit 11 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.