mihaimaruseac

hindent

Haskell pretty printer

io-manager

Haskell IO manager for hiding the IO monad and related advanced concepts. Useful for beginners.

blog-demos

Demos from my old blog, collected, changed and moved to the new one when active.

book-of-marks

Bookmark manager written in Haskell. Non-browser. Either GUI or cmdline. Linux/GTK only.

blog-engine

The engine behind the blog at https://mihai.page

guac

awesomo

Cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.

esotd

Exponential sum of the day

mlir-hs

Haskell bindings for MLIR

model-transparency

Supply chain security for ML

ossf-tac

Technical Advisory Council

real-slacking-service

A RSS feed reader for Linux Desktops (mainly Gnome3, used privately)

sigstore-blog

Codebase for sigstore.dev

slsa-test-os

Testing how SLSA behaves on the 3 operating systems. No real code here

tensorflow

An Open Source Machine Learning Framework for Everyone

clusterfuzz

Scalable fuzzing infrastructure.

cvelist

Pilot program for CVE submission through GitHub

docs

TensorFlow documentation

example-package

haskellfoundation.github.io

The Haskell Foundation website, hosted by GitHub Pages.

nixpkgs

Nix Packages collection & NixOS

oss-fuzz-gen

LLM powered fuzzing via OSS-Fuzz.

oss-na24-slsa-workshop

oss-na24-slsa-workshop-model-integrity

sigstore-community

General sigstore community repo

slsa-github-generator

Language-agnostic SLSA provenance generation for Github Actions

slsa-lvl3-bazel-builder-example

slsa-lvl3-generic-provenance-in-haskell-example

Testing generic provenance for SLSA Level 3 for a project written in Haskell.

slsa-lvl3-generic-provenance-with-bazel-example

Testing generic provenance with Bazel for SLSA Level 3.

slsa-verifier