Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Theodus
A curated list of projects in awesome lists by Theodus .
https://github.com/theodus/jennet
A simple HTTP web framework written in Pony
http-server pony-language ponylang router webserver
Last synced: 06 Nov 2024
https://github.com/theodus/go-transpiler
Command-Line utility for compiling Go to Java or C++ using tardisgo or to JavaScript using GopherJS
Last synced: 06 Nov 2024
https://github.com/theodus/micro-monokai-dark
A dark monokai colorcheme for micro
Last synced: 06 Nov 2024
https://github.com/theodus/micro-pony-plugin
Pony plugin for the Micro text editor
Last synced: 06 Nov 2024
https://github.com/theodus/pony-benchmark
Improved Micro-Benchmarking for Pony
benchmarking microbenchmarks pony-language
Last synced: 06 Nov 2024
https://github.com/theodus/treeviz
Simple tool for generating tree visualizations with Graphviz
Last synced: 06 Nov 2024
https://github.com/theodus/modelcheck
Basic generative model checking in Rust
Last synced: 06 Nov 2024
https://github.com/theodus/graph-indexer-infra-distribution
Plotting stuff about Indexers on The Graph network
Last synced: 06 Nov 2024
https://github.com/theodus/peano-numbers
Peano Numbers in MATLAB, because why not
Last synced: 06 Nov 2024
https://github.com/theodus/coursework
tools for managing my university classes
Last synced: 06 Nov 2024