andrewray Goto Github PK
Name: Andrew Ray
Type: User
Location: United Kingdom
Name: Andrew Ray
Type: User
Location: United Kingdom
Standard library for OCaml
Camlp4 tool
Jane Street Capital's standard library overlay (kernel)
Open source, high performance, FPGA-based NIC
TypeScript to js_of_ocaml
web and js_of_ocaml experiments
An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
A hardcaml library to interface with arty boards
Hardcaml PicoRV32 port
An OCaml kernel for the IPython notebook
An OCaml javascript kernel for the IPython notebook
Useful code for the IOCaml notebook
Web server for IOCaml
A composable build system for OCaml
Compiler from OCaml to Javascript.
Example mirage kfreebsd application.
Terminal manipulation library for OCaml
OCaml promises and concurrent I/O.
Lwt-friendly interface to ZeroMQ for OCaml
OCaml pattern-matching extended with regexps
Cloud programming platform
Portable console handling for Mirage applications
Mirage running on ARM based SoC FPGAs
Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen microkernel.
Scientific Computing Tools For OCaml
Read-only mirror of INRIA SVN
ocaml 4.01.0 for mirage-kfreebsd
OCaml bindings for the Javascript c3 charting library
Very lightweight HTTP server using Lwt or Async
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.