☆28May 19, 2022Updated 3 years ago
Alternatives and similar repositories for numeric-optics-python
Users that are interested in numeric-optics-python are comparing it to the libraries listed below
Sorting:
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Sources for "Applied Category Theory for Engineering"☆40Updated this week
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆19Nov 22, 2022Updated 3 years ago
- ☆45Dec 6, 2022Updated 3 years ago
- On efficient computation in active inference☆17May 31, 2024Updated last year
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆14Aug 22, 2019Updated 6 years ago
- Ecosystem for writing partial differential equation solvers☆15Dec 15, 2025Updated 3 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 9 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 4 years ago
- List of papers studying machine learning through the lens of category theory☆1,496Feb 16, 2026Updated last month
- DNS libary in Haskell☆63Jun 5, 2024Updated last year
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Nov 11, 2019Updated 6 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- ☆12Mar 13, 2025Updated last year
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 2 years ago
- ACT community resources☆27Oct 3, 2019Updated 6 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- ☆14Feb 23, 2026Updated 3 weeks ago
- A basic worker pool manager for Erlang to showcase gen_pnet.☆25Feb 7, 2025Updated last year
- My Emacs configuration.☆11Jul 9, 2025Updated 8 months ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- The Python toolkit for computing with string diagrams.☆407Feb 26, 2026Updated 3 weeks ago
- Sheaves library for graph abstractions based on NetworkX☆14May 5, 2019Updated 6 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- Hy macros for Hypothesis framework☆14Aug 23, 2023Updated 2 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 28, 2026Updated 2 weeks ago
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13May 9, 2017Updated 8 years ago
- Solvers and preconditioners for the Gridap ecosystem.☆38Updated this week
- Optimizing FizzBuzz in Rust for fun and profit☆20Aug 23, 2025Updated 6 months ago
- Results and software for our paper on structured epidemic modeling☆16Sep 21, 2022Updated 3 years ago
- Scala solutions for hackerrank☆11Nov 20, 2016Updated 9 years ago
- ☆129Jul 17, 2024Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆37Updated this week
- Interactive 3D Modeling with Clojure☆23Oct 30, 2021Updated 4 years ago
- Example projects using the auto library.☆20May 16, 2015Updated 10 years ago
- a collection of various algorithms written using recursion schemes☆24Jan 2, 2022Updated 4 years ago