mihaimaruseac
Follow
-
-
Testing generic provenance for SLSA Level 3 for a project written in Haskell.
Nix MIT License UpdatedMar 4, 2025 -
hindent Public
Haskell pretty printer
-
book-of-marks Public
Bookmark manager written in Haskell. Non-browser. Either GUI or cmdline. Linux/GTK only.
-
io-manager Public
Haskell IO manager for hiding the IO monad and related advanced concepts. Useful for beginners.
-
model-transparency Public
Forked from sigstore/model-transparencySupply chain security for ML
Python Apache License 2.0 UpdatedFeb 20, 2025 -
-
blog-engine Public
The engine behind the blog at https://mihai.page
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedDec 11, 2024 -
sigstore-community Public
Forked from sigstore/communityGeneral sigstore community repo
Apache License 2.0 UpdatedAug 14, 2024 -
-
real-slacking-service Public
A RSS feed reader for Linux Desktops (mainly Gnome3, used privately)
-
blog-demos Public
Demos from my old blog, collected, changed and moved to the new one when active.
-
-
slsa-test-os Public
Testing how SLSA behaves on the 3 operating systems. No real code here
-
Testing generic provenance with Bazel for SLSA Level 3.
-
example-package Public
Forked from slsa-framework/example-packageTypeScript Apache License 2.0 UpdatedJun 20, 2024 -
sigstore-blog Public
Forked from sigstore/sigstore-blogCodebase for sigstore.dev
-
mlir-hs Public
Forked from google/mlir-hsHaskell bindings for MLIR
-
awesomo Public
Forked from lk-geimfari/awesomoCool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.
-
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
-
oss-fuzz-gen Public
Forked from google/oss-fuzz-genLLM powered fuzzing via OSS-Fuzz.
Python Apache License 2.0 UpdatedJun 20, 2024 -
oss-na24-slsa-workshop-model-integrity Public
Forked from slsa-framework/oss-na24-slsa-workshop-model-integrityPython Apache License 2.0 UpdatedJun 20, 2024 -
slsa-verifier Public
Forked from slsa-framework/slsa-verifierGo Apache License 2.0 UpdatedJun 20, 2024 -
oss-na24-slsa-workshop Public
Forked from slsa-framework/oss-na24-slsa-workshopApache License 2.0 UpdatedJun 20, 2024 -
slsa-github-generator Public
Forked from slsa-framework/slsa-github-generatorLanguage-agnostic SLSA provenance generation for Github Actions
Go Apache License 2.0 UpdatedJun 20, 2024 -
haskellfoundation.github.io Public
Forked from haskellfoundation/haskellfoundation.github.ioThe Haskell Foundation website, hosted by GitHub Pages.
Nix Other UpdatedJun 20, 2024 -
cvelist Public
Forked from CVEProject/cvelistPilot program for CVE submission through GitHub
UpdatedJun 20, 2024 -
docs Public
Forked from tensorflow/docsTensorFlow documentation
Jupyter Notebook Apache License 2.0 UpdatedJun 20, 2024 -
clusterfuzz Public
Forked from google/clusterfuzzScalable fuzzing infrastructure.
Python Apache License 2.0 UpdatedJun 20, 2024