Stars
6
Forks
1
Language
OCaml
Last Updated
May 26, 2023
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| C++ | 2 | Boolean Algebra | Apr 16, 2022 | |
| Python | 8 | A Boolean Algebra for Genetic Variants | Mar 27, 2023 | |
| JavaScript | 6 | Calculate truth tables from a boolean algebraic expressions | Mar 31, 2019 | |
| JavaScript | 14 | Web application for parsing and evaluating boolean algebra expressions. | Apr 27, 2023 | |
| C++ | 14 | Sparse linear Boolean algebra for Nvidia Cuda | Jul 24, 2022 | |
| Haskell | 74 | Linear Algebra of Programming - Algebraic Matrices in Haskell | Nov 06, 2021 | |
| C++ | 3 | Command line calculator for practicing bit manipulation and boolean algebra | Sep 22, 2021 | |
| C++ | 9 | Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations | Jul 03, 2022 | |
| C# | 3 | Boolean Algebra Calculator written on C# using RPN and Shunting Yard Algorithm. | Jun 13, 2022 | |
| Scala | 30 | Principal Type Inference in a Boolean Algebra of Structural Types | Jun 11, 2022 | |
| Clojure | 41 | Traceable business logic with decision trees -- boolean algebra on steroids | Apr 04, 2022 | |
| PHP | 2 | Matrix Algebra class that performs all the basic matrix algebraic operations | Mar 23, 2015 | |
| Python | 9 | Code for the paper "A Boolean Task Algebra For Reinforcement Learning" | Jan 28, 2023 | |
| TypeScript | 122 | Algebraic graphs implementation in TypeScript | Jul 01, 2022 | |
| Python | 4 | a tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions) | Mar 09, 2022 | |
| Python | 20 | A simple function to simplify boolean algebra expressions, inspired by Karnaugh Map. | Sep 20, 2022 | |
| Go | 4 | Bool is a domain-specific reactive language and environment for Boolean Algebra and Logic Gate Programming. | Oct 25, 2019 | |
| Coq | 8 | Coq Implementation of Algebraic Property Graphs | Feb 25, 2023 | |
| TeX | 3 | Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers | Jan 08, 2023 | |
| ShaderLab | 238 | Screen Space Boolean Implementation for Unity. | May 03, 2023 | |
| JavaScript | 1360 | :triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and … | Aug 29, 2022 | |
| Rust | 2 | My playground to implement algebraic and numerical algorithms. It is mostly but not exclusively about … | Feb 25, 2023 | |
| PureScript | 18 | An implementation of algebraic graphs in PureScript | Jan 22, 2023 | |
| JavaScript | 18 | JavaScript implementation of garbled gates and 2PC boolean circuit protocols | Jan 13, 2023 | |
| C++ | 39 | Implementation of spatial vector algebra with the Eigen3 linear algebra library. | Jul 07, 2022 | |
| TypeScript | 2 | A small utility to coerce a value to its boolean equivalent. | Oct 31, 2022 | |
| Scala | 18 | Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types" | Jun 16, 2023 | |
| Jupyter Notebook | 3 | RSA implementation for the Algebra, Numbers and Cryptography course | Oct 20, 2022 | |
| Python | 10 | Cayley Dickson algebra implementation in python | Apr 08, 2023 | |
| Python | 4 | Enhanced implementation of Second Quantization Algebra | May 16, 2023 | |
| Macaulay2 | 276 | The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic … | May 13, 2023 | |
| Python | 4 | The implementation of the problems solved using Linear Algebra. Linear Algebra course. | Aug 14, 2022 | |
| Python | 16 | Brief Python implementation of Most Permissive Boolean Networks | Mar 15, 2023 | |
| Python | 13 | Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators | Feb 28, 2021 | |
| JavaScript | 2 | Memory efficient Boolean array implementation, very easy to use | Jun 29, 2022 | |
| C++ | 4 | boolean lite: A strong boolean type for C++98 and later | Jan 11, 2023 | |
| MATLAB | 15 | Linear Algebra and Its Application(5th version) case study、project、application、exercise、code、notes and textbook | Apr 23, 2023 | |
| Julia | 6 | Theories of linear algebra and graphical linear algebra | Feb 28, 2023 | |
| Haskell | 4 | algebraic quadtree | Aug 11, 2022 | |
| F# | 61 | Algebraic effects | Dec 19, 2022 | |
| Haskell | 674 | Algebraic graphs | May 13, 2023 | |
| TypeScript | 7 | Algebraic effects | Dec 26, 2022 | |
| C++ | 2 | An open-sourced implementation of Algebraic Block Multi-color Ordering | Jan 28, 2021 | |
| TypeScript | 36 | boolean converts lots of things to boolean. | Mar 09, 2023 | |
| Processing | 2 | Polygon boolean, offset and other | Apr 04, 2022 | |
| Python | 12 | The Python implementation of the Connection-Set Algebra | Nov 18, 2022 | |
| Assembly | 148 | Go implementation of BLAS (Basic Linear Algebra Subprograms) | Dec 11, 2022 | |
| Haskell | 2 | Implementation of the Quine-McCluskey algorithm for minimizing boolean functions | Dec 05, 2023 | |
| OCaml | 3 | Documentation for atdgen | Nov 02, 2020 | |
| OCaml | 3 | Investigating incomplete OCaml stack backtraces | Nov 02, 2020 |