Pinned Repositories
ABC
Automated Brighton Classification Tool
benozol.github.io
codemapper
CodeMapper: Semi-automatic coding of case definitions
colis-language
Syntax, parsers and interpreters for the CoLiS language
eliom-form-generator
Generate Eliom form content from runtime type representation
FilePrompt
A prompt for XMonad to open files
opam-repository
Package descriptions for OPAM
colis-language
A symbolic analyser for shell scripts.
vacco
The VaccO ontology of vaccine descriptions, and related web applications
OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
benozol's Repositories
benozol/ABC
Automated Brighton Classification Tool
benozol/codemapper
CodeMapper: Semi-automatic coding of case definitions
benozol/benozol.github.io
benozol/colis-language
Syntax, parsers and interpreters for the CoLiS language
benozol/contracts
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
benozol/easyocaml
Making OCaml error messages more pleasant
benozol/eliom
Framework for programming web and mobile applications in OCaml.
benozol/go-wasm3
Golang wrapper for WASM3 (https://github.com/wasm3/wasm3)
benozol/i3-plasma
i3wm configuration usable with KDE Plasma Desktop
benozol/IScala
Scala backend for IPython
benozol/learn-travis
:sunglasses: A quick Travis CI (Continuous Integration) Tutorial for Node.js developers
benozol/magit-pretty-graph
A prettier graph for magit drawn in emacs
benozol/ocaml-ctypes
Library for binding to C libraries using pure OCaml
benozol/ocaml.org
Implementation of the ocaml.org website.
benozol/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
benozol/ppx_deriving
Type-driven code generation for OCaml >=4.02
benozol/ppx_deriving_repr
Generate a type representation as value for dynamic inspection
benozol/pure
Pretty, minimal and fast ZSH prompt
benozol/redo_api
A python API to DJB’s redo
benozol/rust_rss
Library for serializing the RSS web content syndication format
benozol/Sozi
A presentation tool based on SVG
benozol/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
benozol/spark2014
benozol/spark2014-why3
benozol/uvwasi
WASI syscall API built atop libuv
benozol/vacco
The ADVANCE vaccine ontology
benozol/wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)
benozol/wasm3
🚀 The fastest WebAssembly interpreter, and the most universal runtime
benozol/wasmtime-go
Go WebAssembly runtime powered by Wasmtime
benozol/zsh-notify
Desktop notifications for long-running commands in zsh.