Pinned Loading

1. dotfilesdotfilesPublic

   ...?

   Shell 2

2. ocaml_paxos_simulatorocaml_paxos_simulatorPublic

   Learning the paxos algo(s) by writing some ocaml code.

   OCaml 2

3. ve1ld/vyasave1ld/vyasaPublic

   a home for the timeless fables, hymns and the traditions that bind us as a people

   Elixir 4

4. CarbonEconomy/CarbonEconomyCarbonEconomy/CarbonEconomyPublic

   A suite of solutions for promoting Green Consumerism within the Delivery Services Industry via an internal GreenCredit system.

   Dart 3

5. CS3203-StaticProgramAnalyzerCS3203-StaticProgramAnalyzerPublic

   🌸 A Static Program Analyzer for a made-up programming language called SIMPLE, with a made-up query language called PQL (Program Query Language). Written entirely in C++, without any dependencies, …

   C++ 1 3

6. mothernotesmothernotesPublic

   Just a store of various things I'm learning, mostly for my own reference but it might help people.

   Python 1 1