Stars
9
Forks
1
Language
Haskell
Last Updated
Nov 25, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
D | 2 | Category theory types inspired from Haskell | Mar 11, 2019 | |
Haskell | 3 | Using haskell-relational-record with Yesod. | Apr 16, 2018 | |
Haskell | 19 | Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds | Feb 25, 2022 | |
Agda | 28 | Category theory and algebra | Jun 14, 2022 | |
Rust | 9 | This tool implements some basic Category theory in the form of a diagram with the … | Jul 27, 2022 | |
Haskell | 32 | Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski | Sep 10, 2022 | |
C++ | 2 | Render a three-dimensional scene using ray tracing | May 03, 2023 | |
Haskell | 10 | Utilities for using the Fay Haskell-to-JS compiler with Yesod. | Jan 17, 2023 | |
Haskell | 24 | Utilities for using the Fay Haskell-to-JS compiler with Yesod. | Apr 28, 2021 | |
C++ | 8 | Voronota is a software tool for analyzing three-dimensional structures of biological macromolecules using the Voronoi … | Mar 11, 2022 | |
Rust | 2 | Excersises in applied category theory using rust programming language. | Jun 22, 2022 | |
JavaScript | 2350 | A three dimensional and space effecient menu | Aug 09, 2022 | |
Scheme | 5 | haskell, lisp, and programming language theory | Oct 13, 2020 | |
Julia | 4 | Tools to specify and simulate individual based models, using applied category theory | Jun 30, 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 | |
HTML | 7 | (R package) Analyze High-Dimensional Data Using Discrete Morse Theory | Mar 02, 2022 | |
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 | |
Julia | 2 | Two- and three-dimensional P1 finite element assembly | Jun 04, 2021 | |
R | 2 | Sparse Three Dimensional Arrays and Linear Algebra Utilities | Aug 04, 2023 | |
Python | 4 | Three dimensional atmospheric dynamical core using the Gung Ho numerics. | Aug 17, 2022 | |
Jupyter Notebook | 3 | Using Particle Swarm Algorithm for chromosome three-dimensional structure construction | Sep 26, 2023 | |
Python | 3 | A DB using discord's server, category, and textchannels. | Jan 29, 2022 | |
JavaScript | 194 | Functional programming and category theory for everyday JavaScript development | Mar 23, 2023 | |
Haskell | 10 | A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3. | Aug 22, 2019 | |
Julia | 10 | Using Luxor.jl to design common diagrams found in Category Theory 🐱 | Sep 19, 2022 | |
Coq | 20 | Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on | Mar 02, 2023 | |
TypeScript | 14 | TypeScript music theory, pitch constellation diagram, and guitar chord calculator | Mar 04, 2023 | |
None | 3 | A Rehearsal Assistant using OpenCV, OpenPose with Three-dimensional Reconstruction Algorithms | Jan 20, 2023 | |
Haskell | 162 | Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to … | Jun 22, 2022 | |
Racket | 2 | Packages for studying the connections between Qi and Category Theory. | Sep 11, 2022 | |
OCaml | 211 | A ReasonML/Ocaml library for category theory and abstract algebra | Jun 11, 2022 | |
Svelte | 2 | Rubik's Cube made with three-dimensional CSS transforms and Svelte | May 26, 2023 | |
HTML | 13 | Three dimensional network visualization in R using webgl/threejs. Built to be configurable and fast. | Feb 04, 2022 | |
Haskell | 2 | Example of non-trivial web handlers in Haskell web frameworks Scotty, Yesod, and Servant | Nov 18, 2022 | |
TeX | 9632 | Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source | Aug 17, 2022 | |
TeX | 2 | Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source | Jul 28, 2021 | |
Haskell | 81 | Control theory in Haskell: Data structures, algorithms and adapters | Jul 16, 2022 | |
Haskell | 8 | Exploration of primes, factorization and number theory through haskell | Dec 17, 2021 | |
Elm | 25 | A simple way to create three-dimensional pictures, animations, and games. | Jul 25, 2022 | |
Python | 22 | Programs for constructing Brillouin zones in three- and two-dimensional space. | Apr 15, 2023 | |
Java | 2 | An application for visualizing and exploring three-dimensional scatter plot data. | Dec 02, 2021 | |
JavaScript | 81 | js13kGames Server category files and rules | May 01, 2023 | |
JavaScript | 2 | Three dimensional dance club visualization build in THREE JS (Java Script). Language: Java Script,HTML and … | Mar 20, 2021 | |
Mathematica | 6 | Categorica: a pure and applied category theory framework for the Wolfram Language | Jul 26, 2023 | |
Swift | 2 | It is a program to transform Diagram used in Categorical Theory to LaTex (xymatrix) using … | Oct 15, 2018 |