|
|
Coq |
11 |
Category theory in Coq, by Jason Gross |
Mar 08, 2022 |
|
|
Coq |
47 |
Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq |
Aug 20, 2022 |
|
|
None |
3 |
A formalization of category theory in Coq for personal study |
Sep 21, 2019 |
|
|
Coq |
153 |
A library for formalizing Haskell types and functions in Coq |
Apr 14, 2022 |
|
|
Rust |
9 |
This tool implements some basic Category theory in the form of a diagram with the … |
Jul 27, 2022 |
|
|
Agda |
28 |
Category theory and algebra |
Jun 14, 2022 |
|
|
Coq |
646 |
An axiom-free formalization of category theory in Coq for personal study and practical work |
Aug 07, 2022 |
|
|
Coq |
30 |
Coq library on rewriting theory and termination |
Apr 16, 2023 |
|
|
TeX |
3 |
Documents for the course on Category theory |
Feb 21, 2020 |
|
|
C |
4 |
attempt at a psx emulator to better understand lower level stuff smh |
May 14, 2022 |
|
|
JavaScript |
2 |
Attempt to recreate and understand React |
Oct 03, 2023 |
|
|
Racket |
2 |
Packages for studying the connections between Qi and Category Theory. |
Sep 11, 2022 |
|
|
Haskell |
124 |
Deep learning via category theory and functional programming |
Nov 18, 2022 |
|
|
None |
3 |
Notes and exercises reading Category Theory for Programmers |
Feb 28, 2021 |
|
|
Haskell |
18 |
Category theory concepts in type classes and instances. |
Feb 28, 2023 |
|
|
JavaScript |
5 |
Algebraic structures and category theory definitions in JavaScript |
Jan 28, 2023 |
|
|
Agda |
36 |
(λ) Category theory and lambda calculus, Bachelor's thesis |
Feb 06, 2023 |
|
|
Clojure |
4 |
Category Theory and Algebraic abstractions for Clojure and ClojureScript. |
May 26, 2021 |
|
|
Clojure |
930 |
Category Theory and Algebraic abstractions for Clojure and ClojureScript. |
May 19, 2023 |
|
|
None |
2 |
understand how to apply AI theory and technologies. |
Oct 30, 2021 |
|
|
Jupyter Notebook |
3 |
This is an implementation of the deep Q network, in attempt to better understand deep … |
Jul 03, 2022 |
|
|
Java |
2 |
Spring supports both Annotation based and XML based configurations. You can even mix them together. … |
Dec 16, 2020 |
|
|
JavaScript |
194 |
Functional programming and category theory for everyday JavaScript development |
Mar 23, 2023 |
|
|
Kotlin |
108 |
Covers both theory questions and challenging code |
May 05, 2023 |
|
|
Coq |
20 |
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on |
Mar 02, 2023 |
|
|
Mathematica |
6 |
Categorica: a pure and applied category theory framework for the Wolfram Language |
Jul 26, 2023 |
|
|
Coq |
54 |
A Coq formalization of information theory and linear error-correcting codes |
Jul 28, 2022 |
|
|
Ruby |
408 |
Former watir.gem that referenced both watir-webdriver and watir-classic |
Apr 23, 2023 |
|
|
Coq |
3 |
Formalizing some basic commutative algebra in Coq in order to procrastinate on my thesis proposal … |
Aug 24, 2020 |
|
|
Julia |
519 |
A framework for applied category theory in the Julia language |
Apr 22, 2023 |
|
|
C++ |
7 |
This is the second, much better attempt. |
Jun 09, 2022 |
|
|
Haskell |
7 |
Three-dimensional category theory diagram server using Haskell and Yesod |
Mar 20, 2022 |
|
|
OCaml |
211 |
A ReasonML/Ocaml library for category theory and abstract algebra |
Jun 11, 2022 |
|
|
Ruby |
2 |
my attempt to understand how the chow CMS works |
Nov 13, 2020 |
|
|
Haskell |
15 |
annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski |
Jun 19, 2022 |
|
|
Coq |
3 |
Conversion from System T to continuation-passing style (CPS) |
Jan 06, 2018 |
|
|
Coq |
4 |
None |
Feb 03, 2022 |
|
|
Coq |
4 |
None |
Sep 07, 2021 |
|
|
Coq |
4 |
Using VexRiscv without installing Scala |
Dec 10, 2020 |
|
|
Coq |
4 |
linear algebra done right in coq |
Oct 04, 2021 |
|
|
Coq |
4 |
Coq code demonstrating a method for representing and reasoning about idealized cryptographic hashing functions |
Jul 06, 2020 |
|
|
Coq |
4 |
Experiments with an extensible refinement framework |
Oct 10, 2019 |
|
|
Coq |
4 |
None |
Mar 03, 2021 |
|
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
|
Coq |
4 |
A Coq framework to support structural design and proof of hardware cache-coherence protocols |
Jun 05, 2022 |
|
|
Coq |
4 |
Using Coq to derive network configurations from declarative policies |
Dec 16, 2021 |
|
|
Coq |
4 |
A Coq library for verifying dependencies of stencil implementations |
Apr 14, 2020 |
|
|
Coq |
4 |
A tutorial on the ott tool for presenting type theory |
Oct 06, 2020 |
|
|
Coq |
4 |
None |
Aug 13, 2020 |
|
|
Coq |
4 |
Typeclasses, datatypes and theorems for functional programming in Coq. |
May 02, 2020 |