Building AGI with Security and Privacy at OpenAI. Previously: Google (model signing, GUAC, TensorFlow), LeapYear (Differential Privacy, ML, Haskell)
hindent. Haskell pretty printer
581io-manager. Haskell IO manager for hiding the IO monad and related advanced concepts. Useful for beginners.
8JADE-ARIA. JADE extensions developed at first ARIA Hackathon (http://www.aria-romania.org/en/community/63-aria-hackaton-1)
8HsMaze. A robot trying to escape from a maze using GA
6dphcar. Differentially Private High Confidence Association Rules
5q-learning. Q-learning implementation for Machine Learning Course
5the-art-of-command-line. Master the command line, in one page
4book-of-marks. Bookmark manager written in Haskell. Non-browser. Either GUI or cmdline. Linux/GTK only.
4blog-engine. The engine behind the blog at https://mihai.page
3old-blog-demos. Demos from my old blog, collected, changed and moved to the new one when active.
3ssl. SSL - Solving CAPTCHAs. Homework project.
3ixcode. Utility for code spelunking
3HaCoTeB. This project is dead. It started disorganized and ended prematurely as it was expected due to a busy schedule and because I forgot some of the ideas from the start. Sorry. Transforms a textfile containing code and text into a HTML file, useful for blogging.
3dpsn. Differentially private sensor networks
2petulant-octo-avenger. Small project for holding helpers for one MMORPG I play
2id3. Small id3 classifier written for the Automatic Learning Course
2guac. Go
2tensorflow. An Open Source Machine Learning Framework for Everyone
1test-stack-templates. Testing the new mm stack template.
1mithlond. Old attempt to create my personal blog
1ossf-tac. Technical Advisory Council
1mlir-hs. Haskell bindings for MLIR
1esotd. Exponential sum of the day
1cs680. CS680. A lot of Java :(
1secret-octo. Some experiments with crypto and bits.
1sigstore-blog. Codebase for sigstore.dev
1stack-test-coverage-sublibs. Demo project for a bug in Stack when asking for code coverage of a project with internal libraries
1slsa-test-os. Testing how SLSA behaves on the 3 operating systems. No real code here
1awesomo. Cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.
1robotik. Robotik language - entry for http://www.pltgames.com/competition/2012/12
1FSFrame. A Frame System
1oss-na24-slsa-workshop-model-integrity. Python
1cdte. A Cooperative MAS for Distributed Task Execution (Multi Agent Systems Homework)
1