Predict and analyze cellular automata using convolutional neural networks
☆86Sep 3, 2020Updated 5 years ago
Alternatives and similar repositories for convoca
Users that are interested in convoca are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A reproduction and tweaking of Growing Neural Cellular Automata☆19Feb 27, 2020Updated 6 years ago
- ☆404Jan 9, 2026Updated 3 months ago
- Cellular automata search program☆26Jul 7, 2022Updated 3 years ago
- Embed strange attractors using a regularizer for autoencoders☆135Jun 9, 2021Updated 4 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 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.
- Repository for experiments with TensorFlow☆11Nov 25, 2015Updated 10 years ago
- Cellular Automata teaching tool☆11Nov 17, 2022Updated 3 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 4 years ago
- GPU-based cellular automata runner☆12Apr 27, 2019Updated 6 years ago
- Command line client for GIN☆14Feb 25, 2023Updated 3 years ago
- ☆21Sep 28, 2020Updated 5 years ago
- Extended experiments of "Growing Neural Cellular Automata" https://distill.pub/2020/growing-ca/☆141Sep 13, 2025Updated 7 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆37Oct 5, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆56Dec 29, 2022Updated 3 years ago
- GNU Guile Scheme bindings for OCaml☆19Aug 5, 2022Updated 3 years ago
- Code for "Learning Graph Cellular Automata" (NeurIPS 2021).☆75Sep 16, 2022Updated 3 years ago
- Illustration of Markov Decision Processes (MDPs)☆11May 22, 2020Updated 5 years ago
- A tool for weighted model counting through tensor network contraction☆21Nov 13, 2021Updated 4 years ago
- Cellular automata creation and analysis tools☆28May 9, 2025Updated 11 months ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 7 months ago
- Use SINDY algorithm to discover a dynamical system from coronavirus data☆12Apr 9, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Source code to reproduce experiments from Mendez et al., ICLR '22☆22Jul 29, 2022Updated 3 years ago
- a numerical computing library for Clojure☆23Jan 30, 2018Updated 8 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- A repository containing the code for the Bistable Recurrent Cell☆47Jan 3, 2021Updated 5 years ago
- Solving floating point SMT constraints on a GPU☆50Dec 22, 2020Updated 5 years ago
- Procedural world game based on raycast rendering and sparse voxel octree technologies with using Vulkan API☆12Mar 15, 2026Updated last month
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A package for creating a matrix product state (MPS) from a free fermion (Gaussian) state.☆10Dec 6, 2021Updated 4 years ago
- ner using crf++☆10Mar 24, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Simulations using the Finite Difference Time Domain method☆10Dec 15, 2014Updated 11 years ago
- A lightweight I/O utility for the BrainVision data format, written in Python.☆23Mar 30, 2026Updated 2 weeks ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 5 years ago
- Python model building platform☆14Updated this week
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago