Benedikt Becker's repositories
codemapper
CodeMapper: Semi-automatic coding of case definitions
colis-language
Syntax, parsers and interpreters for the CoLiS language
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.
easyocaml
Making OCaml error messages more pleasant
go-wasm3
Golang wrapper for WASM3 (https://github.com/wasm3/wasm3)
learn-travis
:sunglasses: A quick Travis CI (Continuous Integration) Tutorial for Node.js developers
magit-pretty-graph
A prettier graph for magit drawn in emacs
ocaml-ctypes
Library for binding to C libraries using pure OCaml
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:
ppx_deriving
Type-driven code generation for OCaml >=4.02
ppx_deriving_repr
Generate a type representation as value for dynamic inspection
pure
Pretty, minimal and fast ZSH prompt
rust_rss
Library for serializing the RSS web content syndication format
uvwasi
WASI syscall API built atop libuv
wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)
wasm3
🚀 The fastest WebAssembly interpreter, and the most universal runtime
wasmtime-go
Go WebAssembly runtime powered by Wasmtime
zsh-notify
Desktop notifications for long-running commands in zsh.