Tag Index
The following page lists all posts on this site, grouped by corresponding tags.
#+BEGIN: block-posts-by-tag
Emacs Posts
Tutorial Posts
Ide Posts
Projects Posts
- Goodbye C developers: The future of programming with certified program synthesis #projects #research #coq #verification -
- Bloom filters debunked: Dispelling 30 Years of bad math with Coq! #projects #research #coq #verification -
- Gopcaml mode #projects #ocaml #tool -
- Libre Ref #projects #ocaml #tool -
- Gop music #projects #music #tool -
- Gop tables #projects #planning #tools -
- Html generator #projects #rust #web -
- PathetiC #projects #parsing #c -
- Wacom tablet tool #projects #shell -
- Genius Pass #projects #joke #web -
- Topological Todo Application #projects #android #mobile -
- CV Generator #projects #java #swing -
- Vidme Client (RIP) #uwp #projects #dead -
- Alexa review aggregator #projects #research -
- Project Note #projects #web -
- Log my pos #projects #web -
- UWP Web-reddit slideshow #projects #uwp -
- Gop-Net - Neural Networks in C #c #projects #machine #learning -
- Web Reddit Slideshow #projects #web -
- Monadic C Parsing in Haskell #haskell #projects #parsing -
- Java Jones Quest #projects #java #ide #drawing -
Ocaml Posts
- How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost #ocaml #design #social #activitypub -
- Petrol: embedding a type-safe SQL API in OCaml using GADTs #ocaml #types #sql #api #design -
- Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations #ocaml #effects #animations #game -
- Abolish the state! or no? An OCaml Perspective #ocaml -
- Libre Ref #projects #ocaml #tool -
- Gopcaml mode #projects #ocaml #tool -
- Preprocessing in OCaml (using Ppxlib) #ocaml #extensionpoints #reference #guide -