talex5 Goto Github PK
Name: Thomas Leonard
Type: User
Name: Thomas Leonard
Type: User
create a binary release from source code
run a program or shell in the context of a ZeroInstall feed
the core 0install package
Dockerfiles for installing 0install on various platforms for testing
automate making new releases with 0install
manage a repository of 0install feeds
test programs, using 0install to set up test environment
A lightweight and colourful test framework
Parser combinators built for speed and memory efficiency
Parse ANSI terminal escape codes into usable abstract representation.
0install feeds/packages for common apps and libraries
Proof-of-concept for Async/Eio/Lwt in one process
Run Async code from within Eio
Jane Street Capital's asynchronous execution library (unix)
Binary protocol generator
livejournal, we miss youuuu
A Deductive Verification Tool for OCaml Programs
canopy data
OCaml code generator plugin for the Cap'n Proto serialization framework
Cap'n'Proto RPC implementation
Cap'n Proto serialization/RPC system - core tools and C++ library
A DHCP server library in ocaml.
CI in tty
Declarative definition of command line interfaces for OCaml
(testing only)
key signing
Jane Street Capital's standard library overlay
The Python programming language
Property fuzzing for OCaml
Browser-based GTD (TODO list) system. No server needed.
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.