Moved to Codeberg
☆102Jun 3, 2024Updated 2 years ago
Alternatives and similar repositories for snakes
Users that are interested in snakes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PIPE - Platform Independent Petri Net Editor☆250Jun 28, 2022Updated 4 years ago
- fork of pyliblo with better pip integration, binary wheels and no external dependencies☆13Oct 7, 2026Updated 3 weeks ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Build CV using TeX + Biber☆16Aug 17, 2021Updated 5 years ago
- This project contains an OMNeT++/INET extension to support IEC61850 process bus communication (GOOSE and SV)☆17Sep 26, 2018Updated 8 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.
- Battery Cost Model developed in the Viswanathan group at Carnegie Mellon.☆31Oct 25, 2022Updated 4 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 8 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- ☆10Apr 6, 2017Updated 9 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 6 months ago
- Mosaik-Powerfactory provides an interface between DIgSILENT PowerFactory and Mosaik co-simulation framework.☆13Jul 16, 2019Updated 7 years ago
- ☆12Apr 8, 2021Updated 5 years ago
- Mirror of https://lab.nexedi.com/nexedi/dream ; Please submit patches and issues there☆80Updated this week
- Petri Net Simulator program☆10Nov 27, 2017Updated 8 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.
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- High granularity and accuracy Starcraft replay data extractor which outputs to a database☆14Feb 18, 2022Updated 4 years ago
- Implementation of red-black trees in Common Lisp, including a persistent red-black tree that uses an append-only strategy for recording c…☆10Oct 8, 2015Updated 11 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆11May 13, 2014Updated 12 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 6 years ago
- A JupyterLab extension for rendering 3d files (stl, amf, obj, 3mf, gcode, collada)☆13Mar 14, 2023Updated 3 years ago
- Segway Simulation Environment☆11Dec 31, 2020Updated 5 years ago
- Small repo for WIP pymc examples☆13May 15, 2016Updated 10 years ago
- Agent memory without a memory system — search and retrieve opencode conversation history that was lost to compaction, across sessions and…☆21Aug 31, 2026Updated last month
- 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.
- IPython NB slides of my PyData'13 talk.☆12Apr 11, 2013Updated 13 years ago
- A Squeak/Smalltalk implementation of the metaprogramming framework Ohm.☆24Mar 6, 2026Updated 7 months ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 3 years ago
- A modular stylesheet based on the golden ratio☆11Jul 31, 2025Updated last year
- Web framework for Hunchentoot☆13Dec 19, 2017Updated 8 years ago
- 🗣️ libp2p pubsub with controls exposed via a gRPC API☆14Jul 5, 2019Updated 7 years ago
- PIONE(Process-rule for Input/Output Negotiation Enviromenment) is a rule-based workflow engine.☆10Feb 18, 2015Updated 11 years ago
- Recurrent Neural Networks for Speaker and Turn Taking Classification☆12Aug 29, 2018Updated 8 years ago
- Mirror of https://gitlab.common-lisp.net/frideau/fare-csv☆10Dec 6, 2022Updated 3 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.
- 🗳️ Prediction and curation of semantic mappings in SSSOM☆12Aug 26, 2026Updated 2 months ago
- A high-level OO Python interface to Bluetooth LE on Linux environments☆11Mar 11, 2018Updated 8 years ago
- Some experiment with statics files☆10Jul 13, 2013Updated 13 years ago
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11May 30, 2017Updated 9 years ago
- ☆13Mar 6, 2023Updated 3 years ago
- ROS project to simulate the navigation of multiple robots☆31Feb 4, 2020Updated 6 years ago
- ☆18Aug 14, 2026Updated 2 months ago