hannesm Goto Github PK
Name: Hannes Mehnert
Type: User
Company: @robur-coop
Name: Hannes Mehnert
Type: User
Company: @robur-coop
extensible Markdown library and tool in "pure OCaml"
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Parser and printer for the opam file syntax
Assemble dune workspaces to build your project and its dependencies as a whole
An opam remote with the various Dune modified repositories in this org
Main public package repository for OPAM, the source package manager of OCaml.
OPAM pins for Solo5/Mirage
The Open Dylan compiler and IDE.
High quality system independent, portable, open source libm implementation
check opam package reproductibility
Ott is a tool for writing definitions of programming languages and calculi
Bigarray.overlap as a library
packetdrill with UDPLite and SCTP support and bug fixes for FreeBSD
Port of HTTP/AF with Mirage and Tuyau (Proof Of Concept)
argv parser library
Paste-eur as unikernel
line based patch, input is a unified diff
A pure OCaml PostgreSQL client library
OCaml bindings for the PKCS#11 cryptographic API
Repository for the Platform blog
RFC 8264 in OCaml
A simple bounded encoder constraints by columns in OCaml
POSIX time for OCaml
Postes, Télégraphes et Téléphones
A Mirage firewall VM for QubesOS
Convert random byte vectors to numbers
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.