Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by voodoos
A curated list of projects in awesome lists by voodoos .
https://github.com/voodoos/elpi-js
JS binders and tools to interact with the Elpi lambda-prolog interpreter written in OCaml.
Last synced: 05 Nov 2024
https://github.com/voodoos/bs-semantic-ui-react
Bucklescript bindings for Semantic UI React
Last synced: 05 Nov 2024
https://github.com/voodoos/discord-ml
Experimental binders to the Discord API
Last synced: 23 Dec 2024
https://github.com/voodoos/lp2tex
An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules
Last synced: 23 Dec 2024
https://github.com/voodoos/mirmin-2
An updated version of https://github.com/samoht/mirmin
Last synced: 23 Dec 2024
https://github.com/voodoos/bs-react-split-pane
Bucklescript bindings for React Split Pane
Last synced: 23 Dec 2024
https://github.com/voodoos/rust-quadtree
An wip implementation of loosy quad trees in Rust
Last synced: 23 Dec 2024
https://github.com/voodoos/fastmail-sync
Sync engine and websocket server for the Fastmail client.
Last synced: 23 Dec 2024
https://github.com/voodoos/androdb
A simple android app for searching into a home-made movies and music database.
Last synced: 23 Dec 2024