-
vericert Public
A formally verified high-level synthesis tool based on CompCert and written in Coq.
-
verismith Public
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
-
emacs-zettelkasten Public
Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 25, 2024 -
-
oss-cad-suite-build Public
Forked from YosysHQ/oss-cad-suite-buildMulti-platform nightly builds of open source digital design and verification tools
Python ISC License UpdatedMay 15, 2024 -
fuzzing-hls Public
Forked from Vivvvvvvv/Fuzzing-HLSFinding bugs in high-level synthesis tools using Csmith to generate random, valid C programs.
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
-
smtcoq Public
Forked from smtcoq/smtcoqCommunication between Coq and SAT/SMT solvers
OCaml Other UpdatedJun 11, 2023 -
dotfiles Public
Personal dotfiles for linux and macos.
-
ebib Public
Forked from joostkremers/ebibA BibTeX database manager for Emacs.
Emacs Lisp BSD 3-Clause "New" or "Revised" License UpdatedFeb 21, 2023 -
-
ox-context Public
Forked from Jason-S-Ross/ox-contextAn Org Mode export backend for ConTeXt
Emacs Lisp UpdatedApr 16, 2022 -
vericert-docs Public
Vericert documentation website.
SCSS Creative Commons Attribution 4.0 International UpdatedFeb 26, 2022 -
-
alluvial-hs Public
Generate alluvial diagrams for tikz and latex.
-
orgcss Public
Forked from gongzhitaao/orgcssSimple and clean CSS for Org-exported HTML
CSS Other UpdatedAug 25, 2020 -
blarney Public
Forked from blarney-lang/blarneyHardware description in Haskell
Haskell Other UpdatedNov 29, 2019 -
FMark Public
Forked from Zestylogic/FMarkMarkdown parser to html with many useful extensions and a purely functional implementation.
F# MIT License UpdatedOct 1, 2019 -
-
-
-
median-cut Public
Median cut for deterministic biased sampling of environment maps.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 28, 2019 -
mirror-ball Public
Lighting a mirror ball using a lat-long map.
-
pfm Public
PFM parsing library for Debevec's file format.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 21, 2019 -
SHA256-collision Public
Coursework for CO409 Cryptography.
-
-
lambda-calc Public
Lambda Calculus parser written in haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 6, 2019 -
-
YAGE Public
2D game engine with integrated Entity Component System
{{ message }}