benozol Goto Github PK
Name: Benedikt Becker
Type: User
Location: Chile
Name: Benedikt Becker
Type: User
Location: Chile
Automated Brighton Classification Tool
CodeMapper: Semi-automatic coding of case definitions
Syntax, parsers and interpreters for the CoLiS language
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.
Extension to OCaml for deriving functions from type declarations.
Deriving records meta information from type definitions
Making OCaml error messages more pleasant
Framework for programming web and mobile applications in OCaml.
Generate Eliom form content from runtime type representation
Bindings for Eliom to the jQuery-plugin socialshareprivacy
A prompt for XMonad to open files
Forced-to-work-structured Text Editor
Golang wrapper for WASM3 (https://github.com/wasm3/wasm3)
Make history history (in zsh).
i3wm configuration usable with KDE Plasma Desktop
Scala backend for IPython
Compiler from OCaml to Javascript.
:sunglasses: A quick Travis CI (Continuous Integration) Tutorial for Node.js developers
A prettier graph for magit drawn in emacs
A KDE plasmoid (QML) to display all resources with a given tag in nepomuk
Library for binding to C libraries using pure OCaml
Implementation of the ocaml.org website.
Web server in OCaml.
Package descriptions for OPAM
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:
Object Relational Mapper extension
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.