knothed
Follow
-
CompCert-loop Public
A fork of the formally-verified C compiler, extending it with some loop optimizations.
Rocq Prover Other UpdatedMar 4, 2026 -
CompCert-ct Public
CompCert with Verified Elimination of (Some) Secret Control Flow
-
happy-rad Public
A modular happy extension providing a recursive ascent-descent backend
-
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedOct 10, 2023 -
bibleserver-scraper-DE Public
Forked from Jotam/bibleserver-scraper-DERepackages German bibles from bibleserver.com for MySword and OpenLP
Java GNU General Public License v3.0 UpdatedJul 17, 2023 -
algebraic-fibrations Public
A tool to find virtual algebraic fibrations of right-angled Coxeter groups.
C UpdatedMay 19, 2023 -
nauty Public
Forked from lonnen/nautyunofficial repository of nauty and traces, the graph automorphism tools. We aspire to track the official repos closely, but for the latest please visit the official homepage.
C Other UpdatedJan 13, 2023 -
haddock Public
Forked from haskell/haddockHaskell Documentation Tool
HTML BSD 2-Clause "Simplified" License UpdatedDec 8, 2022 -
-
-
Symmetries Public
My Winning Submission for Apple's WWDC 2021 Swift Student Challenge
-
bachelor-thesis Public
Forked from haskell/happyThe Happy parser generator for Haskell
Haskell Other UpdatedMar 5, 2021 -
Fractals Public
My Winning Submission for Apple's WWDC 2020 Swift Student Challenge