A Notebook alternative that supports branching code and local collaboration.
☆16Jan 2, 2021Updated 5 years ago
Alternatives and similar repositories for satyrn
Users that are interested in satyrn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11May 8, 2019Updated 7 years ago
- 6800% faster "os" module replacement. A drop-in replacement for Python's standard 'OS' module. Fully-rewritten, optimized, and speeded-up…☆18Feb 20, 2023Updated 3 years ago
- PyChD: The ChatGPT-powered decompiler for Python, providing superior code analysis capabilities☆45Feb 24, 2026Updated 3 months ago
- ☆11Dec 27, 2023Updated 2 years ago
- A library for building dynamic webapps, using Js_of_ocaml☆38May 18, 2026Updated last week
- 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.
- A support library for bindings between Eigen in C++ and Python, based on nanobind☆19May 4, 2026Updated 3 weeks ago
- ☆44Dec 25, 2021Updated 4 years ago
- Angel - a symmetrical staggered ergonomic keyboard.☆13Jan 27, 2021Updated 5 years ago
- Showing how to integrate CMake, C++, and pybind11☆11May 1, 2018Updated 8 years ago
- a simearth clone☆14Jun 25, 2020Updated 5 years ago
- ☆16Jan 8, 2022Updated 4 years ago
- 🌈 Highlights similar variables on focus☆11Apr 23, 2023Updated 3 years ago
- ☆12Nov 20, 2024Updated last year
- A collection of scripts for pairing OVITO with freud and other Glotzer lab packages☆16Mar 19, 2026Updated 2 months 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.
- The soon to be released Discord client, and the first Swift Discord Client to ever get Voice Chat. Coming soon™️ to an internet near you.…☆20Aug 5, 2025Updated 9 months ago
- A simple Rust library implementing a 3D vector type☆11Dec 11, 2018Updated 7 years ago
- ☆13Mar 3, 2023Updated 3 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Row is a command line tool that helps you manage workflows on HPC resources.☆16Updated this week
- ☆10Jun 1, 2024Updated last year
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated last year
- Awesome OCaml Gamedev☆17Aug 6, 2022Updated 3 years ago
- Mode-dependent tab control for Kitty☆25Sep 8, 2025Updated 8 months 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.
- SIMD instructions for faster distance calculations.☆25Apr 7, 2026Updated last month
- DOSBox (js-dos)☆30Dec 8, 2025Updated 5 months ago
- Conway polyhedron operators in python for Blender and Sverchok☆17Jul 18, 2020Updated 5 years ago
- Run code snippets in Markdown.☆21Jul 1, 2023Updated 2 years ago
- ☆11Nov 23, 2024Updated last year
- Decompose source code into templates and fragments for any language.☆23Aug 29, 2022Updated 3 years ago
- Usage of Eigen library with CMake.☆17Sep 18, 2018Updated 7 years ago
- A CHIP8 emulator written in OCaml☆26Mar 4, 2022Updated 4 years ago
- Polyhedral Template Matching algorithm for analysis of molecular dynamics simulation data☆21Mar 22, 2020Updated 6 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.
- workflow integration for Helix, Zellij/Tmux, AI Code Completion, AI CLIs, and REPLs built around two minimal shell scripts with nearly ze…☆43Mar 26, 2026Updated 2 months ago
- pure python phase vocoder☆19Jul 16, 2023Updated 2 years ago
- A Blender addon for importing models and animations from Zelda N64 games☆16Jun 12, 2022Updated 3 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Code for our paper "Modelobfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems" that has been published by ISSTA…☆19May 18, 2024Updated 2 years ago
- Manipulation of tilings and polyhedra using Python and Antiprism☆14Nov 13, 2019Updated 6 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago