benozol Goto Github PK

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

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.

deriving

Extension to OCaml for deriving functions from type declarations.

deriving-record

Deriving records meta information from type definitions

deriving-typerepr

easyocaml

Making OCaml error messages more pleasant

eliom

Framework for programming web and mobile applications in OCaml.

eliom-form-generator

Generate Eliom form content from runtime type representation

eliom-socialshareprivacy

Bindings for Eliom to the jQuery-plugin socialshareprivacy

fileprompt

A prompt for XMonad to open files

fwse

Forced-to-work-structured Text Editor

go-wasm3

Golang wrapper for WASM3 (https://github.com/wasm3/wasm3)

history-history

Make history history (in zsh).

i3-plasma

i3wm configuration usable with KDE Plasma Desktop

iscala

Scala backend for IPython

js_of_ocaml

Compiler from OCaml to Javascript.

learn-travis

:sunglasses: A quick Travis CI (Continuous Integration) Tutorial for Node.js developers

macaque

magit-pretty-graph

A prettier graph for magit drawn in emacs

nepomuk-tagged-plasmoid

A KDE plasmoid (QML) to display all resources with a given tag in nepomuk

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml.org

Implementation of the ocaml.org website.

ocsigenserver

Web server in OCaml.

opam-repository

Package descriptions for OPAM

opam-repository.dev

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:

orm

Object Relational Mapper extension