cadCAD-org / CadCAD.jl
cadCAD implementation in Julia
☆12Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for CadCAD.jl
- Simplicial sets and other combinatorial models of geometric spaces☆29Updated this week
- DSL for probabilistic models specification and probabilistic programming.☆35Updated this week
- Bayesian inference on wiring diagrams.☆18Updated last year
- Reactive environments for self-learning agents☆20Updated last month
- Build Petri net models compositionally☆76Updated 2 weeks ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 2 weeks ago
- Julia interface to Z3☆57Updated last month
- ☆11Updated this week
- ☆28Updated last year
- Differentiate python calls from Julia☆56Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆29Updated this week
- Data-parallelism on CUDA using Transducers.jl and for loops (FLoops.jl)☆56Updated last year
- Common types and interfaces for probabilistic programming☆27Updated this week
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 2 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆24Updated this week
- Load nanoGPT-style transformers in Julia. Code ported from @karpathy's llama2.c☆59Updated last year
- High-performance reactive message-passing based Bayesian inference engine☆107Updated this week
- A Petri net modeling framework for the Julia programming language☆40Updated 11 months ago
- SossMLJ makes it easy to build MLJ machines from user-defined models from the Soss probabilistic programming language☆15Updated 3 years ago
- Julia implementation of the Flash Attention algorithm☆18Updated last year
- A library for defining and efficiently solving program synthesis tasks in Julia.☆25Updated last week
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- GPT-3 as a generative function in Gen.☆19Updated 3 months ago
- A framework for composing and simulating multiphysics systems☆49Updated this week
- Capturing standard output and error streams in Julia.☆30Updated 4 months ago
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆57Updated last year
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆15Updated last year
- ☆43Updated this week
- Relational Algebra, now with more algebra!☆48Updated 2 weeks ago