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
- - Libre Ref #projects #ocaml #tool
- - Gopcaml mode #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
- - Gopcaml mode #projects #ocaml #tool
- - Libre Ref #projects #ocaml #tool
- - Preprocessing in OCaml (using Ppxlib) #ocaml #extensionpoints #reference #guide