Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by xldenis
A curated list of projects in awesome lists by xldenis .
https://github.com/xldenis/ill
educational compiler for not (quite) toy languages
compiler functional-languages haskell haskell- language laziness
Last synced: 03 Oct 2024
https://github.com/xldenis/stackqueue
Use stackoverflow to find out how much you know.
Last synced: 03 Oct 2024
https://github.com/xldenis/crdocs
distributed crdt based document editor running in wasm
Last synced: 03 Oct 2024
https://github.com/xldenis/boogie
A (not yet) complete implementation of a Boogie parser and pretty-printer
Last synced: 03 Oct 2024
https://github.com/xldenis/toby
the @toby selfie blogging platform. Revolutionizing social networks one pic at a time. #nofilters
Last synced: 03 Oct 2024
https://github.com/xldenis/todo
My public todo list. Feel free to add an item or open an issue.
Last synced: 03 Oct 2024
https://github.com/xldenis/mchacks
website for McHacks, McGill's official student hackathon
Last synced: 03 Oct 2024
https://github.com/xldenis/why3-find
This is a fork of https://git.frama-c.com/pub/why3find
Last synced: 03 Oct 2024
https://github.com/xldenis/bv-sized
A BitVector datatype that is parameterized by the vector width.
Last synced: 03 Oct 2024
https://github.com/xldenis/mchacks.io
Site for McHacks - HackMcGill's Hackathon
Last synced: 03 Oct 2024
https://github.com/xldenis/gh_res
Generate a resume based off of a github profile
Last synced: 03 Oct 2024