Daniel Frumin

FormalFitch

Rocq Prover 1 0

Updated 2026-07-24 18:39:10 +00:00

qmk-holykeebs

C 0 0

qmk for for the holykeebs keyboards

Updated 2024-06-02 12:28:16 +00:00

splitkb-vial-qmk

C 0 0

upstream: https://github.com/splitkb/vial-qmk/

Updated 2024-02-10 10:18:24 +00:00

BI-cutelim

Rocq Prover 0 0

Cut elimination for the logic of Bunched Implications (BI), and some extensions.

Updated 2023-07-27 09:27:36 +00:00

SeLoC

Rocq Prover 0 0

Strong non-interference for fine-grained concurrent programs

Updated 2022-03-11 10:54:09 +00:00

thesis

Rocq Prover 0 0

The Coq code for my PhD thesis

Updated 2021-02-23 19:24:31 +00:00

co-dan

0 0

what am i doing here?

Updated 2020-10-25 12:00:55 +00:00

guix-packages

Scheme 1 0

Guix channel

Updated 2019-05-24 09:46:49 +00:00

hott-snippets

Rocq Prover 1 0

snippin

Updated 2018-02-19 14:43:09 +00:00

noninterference-coq

Rocq Prover 0 0

Formalisation of "Noninterference, Transitivity, and Channel-Control Security Policies" by J. Rushby

Updated 2018-02-14 16:33:01 +00:00

niels-HITs-coq

Rocq Prover 1 0

several HITs

Updated 2017-04-19 18:54:15 +00:00

graphviz-render

HTML 0 0

A simple Haskell/Scotty web service for rendering Graphviz documents

Updated 2016-05-20 10:32:16 +00:00

emacs-config

Emacs Lisp 1 0

Emacs and Org configuration files

Updated 2016-01-30 11:07:15 +00:00

interactive-diagrams

Haskell 1 0

Interactive-diagrams

Updated 2015-05-18 13:11:12 +00:00

pipes-irc

Haskell 0 0

A Proxy interface to the Internet Relay Chat

Updated 2015-01-14 18:59:23 +00:00