ACT community resources
☆30Oct 3, 2019Updated 7 years ago
Alternatives and similar repositories for awesome-applied-category-theory
Users that are interested in awesome-applied-category-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parallel, fused reducers for Lean 4☆16May 30, 2026Updated 4 months ago
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 5 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆16Aug 22, 2019Updated 7 years ago
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆15Feb 20, 2022Updated 4 years ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Structured decompositions!☆15Mar 26, 2025Updated last year
- Opycleid - A Python package for transformational music theory☆48Oct 3, 2025Updated last year
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 3 years ago
- Lucky is a reactive and async trading framework in Julia designed to rapidly design, deploy, and monitor trading strategies and portfolio…☆30Sep 21, 2026Updated 2 weeks ago
- The Flix Programming Book☆27Updated this week
- Maçkolik sitesi üzerinden aldığım eski maç kayıtları ile makine öğrenmesi kütüphaneleri ile maç tahmininde bulunma.☆11Apr 26, 2019Updated 7 years ago
- Conway's Game of Life using a comonad☆24Jan 3, 2025Updated last year
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Openwater's Open-Source Neuromodulation Hardware☆26Mar 9, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Multi-voxel pattern analyses methods based on ML & DL to decode the category of visual stimuli viewed by a human subject based on their …☆23Sep 29, 2021Updated 5 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- ☆28May 19, 2022Updated 4 years ago
- ☆18Oct 9, 2024Updated last year
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 5 years ago
- ☆134Jul 17, 2024Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- DEPRECATED — succeeded by PortfolioOptimisers.jl (plural). Julia portfolio optimisation library; all work continues at dcelisgarza/Portfo…☆10Aug 27, 2026Updated last month
- Custom Keras ML block example for Edge Impulse☆12Sep 17, 2026Updated 2 weeks ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- FerroCrypt is a pure Rust library, CLI, and desktop application for encrypting and decrypting files and folders using password-based or k…☆19Updated this week
- Course materials for Introduction to Structural Equation Modeling (Instructor: Hallquist; Spring 2019)☆14May 22, 2019Updated 7 years ago
- Destiny 2 weapon rolls for DIM☆13Sep 17, 2026Updated 2 weeks ago
- Flutter + WebAssembly Example☆13Mar 3, 2020Updated 6 years ago
- A directory of resources for computational musicology☆15Apr 5, 2020Updated 6 years ago
- ACT community resources☆471Nov 26, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- TestStand Semiconductor Module Python API☆15May 13, 2026Updated 4 months ago
- OpenRedukti is a C++ library for Interest Rate Swaps and Fras, supports bootstrapping of Interest Rate Curves, computing NPV and sensitiv…☆10Jul 28, 2023Updated 3 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Collections of Actions for Custom GPTs (some created by Captain Action)☆11Jan 7, 2024Updated 2 years ago
- A Rust application which funnels external webhook event data to an Urbit chat.☆16Apr 7, 2021Updated 5 years ago
- imperative server provisioning for elixir☆11Sep 11, 2020Updated 6 years ago