Projects in Awesome Lists by spirali
A curated list of projects in awesome lists by spirali .
https://github.com/spirali/orco
Python package for defining, executing, and persisting computations
Last synced: 06 May 2025
https://github.com/spirali/haydi
Python framework for generating discrete structures
distributed enumeration generator isomorphism python
Last synced: 06 May 2025
https://github.com/spirali/elphie
Framework for making slides based on Python and Inkscape
Last synced: 06 May 2025
https://github.com/spirali/twinsong
Alternative to Jupyter Notebook that separates code and outputs
Last synced: 26 Feb 2025
https://github.com/spirali/pas
Presburger Arithmetic Solver via Automatic Structures
Last synced: 02 Mar 2025
https://github.com/spirali/nukecon
PDB-based tool for understanding conformational aspects of interactions between proteins and nucleosides or nucleotides
Last synced: 08 Aug 2025
https://github.com/spirali/cellotones
Interactive Cello Finger Position Visualizer
Last synced: 17 Feb 2026
https://github.com/spirali/lptest
Benchmarks for linear programming used in HyperQueue
Last synced: 09 Oct 2025
https://github.com/spirali/lnotes
Personal wiki based on Git + Asciidoctor/Markdown + Flask
Last synced: 15 May 2026
https://github.com/spirali/aislinn-valgrind
Modified version of Valgrind for Aislinn
Last synced: 12 May 2026
https://github.com/spirali/nedoc-demo
Demonstration for generated documentation from nedoc
Last synced: 06 Mar 2026
https://github.com/spirali/aislinn-llvm
Dynamic verifier for MPI programs (old experimental version)
Last synced: 24 May 2026
https://github.com/spirali/projecting-bot
Discord bot for creating a realime exhibition
Last synced: 02 Mar 2025