Continuous REactive SysTems DSL
☆18Oct 28, 2019Updated 6 years ago
Alternatives and similar repositories for CREST
Users that are interested in CREST 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 highlight package for EMACS across all buffers/files.☆15Nov 5, 2015Updated 10 years ago
- Replicate/replay Subversion revision history☆31Jan 13, 2022Updated 4 years ago
- Web application to view benchmark reports generated in/for the Primes project.☆32May 15, 2026Updated 3 weeks ago
- Yet Another Climbing Guide☆13May 8, 2026Updated last month
- Sphinx domain to allow integration of Verilog / SystemVerilog documentation into Sphinx.☆27Mar 1, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Apheleia Verification Library. A Python based HDL verification library sitting on top of cocotb☆59Updated this week
- VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior …☆38May 12, 2026Updated last month
- Python UML statechart framework☆10Oct 17, 2024Updated last year
- KTH's Timed C compiler☆19Jan 7, 2022Updated 4 years ago
- Python library for parsing module definitions and instantiations from SystemVerilog files☆27Apr 29, 2021Updated 5 years ago
- Define extendable interfaces that can be used for dispatch.☆26Dec 20, 2025Updated 5 months ago
- Geometry Utility Functions☆12Nov 28, 2016Updated 9 years ago
- general-purpose fast, stateless, and deterministic feature extractor written in golang for use in machine learning☆12Mar 17, 2018Updated 8 years ago
- Generate triangle meshes in the shape of trees, composed out of simple tetrahedron shapes.☆11May 14, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 5 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Flowbased Programming for Python☆30Nov 7, 2016Updated 9 years ago
- A codec for Go structs with support for chainable encoding/decoding hooks.☆12Sep 15, 2023Updated 2 years ago
- A simple in-memory graph database (wrapper for python-igraph)☆11Jul 6, 2019Updated 6 years ago
- Kactus2 is a graphical EDA tool based on the IP-XACT standard.☆255Jun 5, 2026Updated last week
- Source Engine map loader☆15Apr 28, 2018Updated 8 years ago
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- Simple MapReduce implementation in Python, for text file parallel processing☆20Mar 3, 2012Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Visual programming language: SKetches of Abstract Syntax Trees. I. C.☆10Jan 14, 2022Updated 4 years ago
- Connor is a condition evaluator for Go inspired by MongoDB's query language☆11Updated this week
- Official repository for the paper "Automating Continual Learning"☆20Jun 11, 2025Updated last year
- RRT*(RRT Star)-based algorithms for Path Planning of Autonomous Driving, in Python2.☆12Jun 28, 2020Updated 5 years ago
- A simple C# behaviour tree library with a node based custom editor for the Unity game engine☆11Aug 23, 2017Updated 8 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 5 years ago
- Keep Calm and DSL On!☆38Mar 13, 2026Updated 2 months ago
- Autoproxy automatically detects proxies and stores them in the respective environment variables (e.g. http_proxy).☆13Oct 2, 2016Updated 9 years ago
- FPU Generator☆20Jul 19, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Jun 19, 2022Updated 3 years ago
- A very basic quadtree image compression algorithm☆11Nov 22, 2020Updated 5 years ago
- Python utilities used by the Personal Robotics Laboratory.☆65Jan 23, 2021Updated 5 years ago
- Open Standard set of APIs for interoperability of identity management building blocks.☆24Mar 20, 2026Updated 2 months ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆12Jul 13, 2018Updated 7 years ago
- bsp visibility precomputer, but in Rust☆13Nov 10, 2019Updated 6 years ago
- PyBullet Construction Planning☆11Apr 22, 2021Updated 5 years ago