Skip to content
View fkirchner's full-sized avatar
10 followers · 4 following

Organizations

@Frama-C

Block or report fkirchner

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

OCaml 190 39 Updated Oct 21, 2020

cryptosense / procord

Procord is a portable OCaml library to delegate tasks to other processes.

OCaml 26 Updated Sep 2, 2014

fkirchner / Bibliography

These are the centralized bibtex files I use daily.

TeX 1 Updated Dec 18, 2016

polazarus / oclock

Precise POSIX clock for OCaml

OCaml 14 2 Updated Mar 14, 2019

fkirchner / Archived-Webpage

Archived webpage code.

CSS 1 Updated Jan 31, 2015