Andrew Ray (andrewray)

andrewray

Geek Repo

Location:United Kingdom

Github PK Tool:Github PK Tool

Andrew Ray's repositories

iocaml

An OCaml kernel for the IPython notebook

Language:Jupyter NotebookLicense:MITStargazers:193Issues:18Issues:52

iocamljs

An OCaml javascript kernel for the IPython notebook

Language:Jupyter NotebookLicense:MITStargazers:58Issues:13Issues:9

DefinitelyMaybeTyped

TypeScript to js_of_ocaml

iocamlserver

Web server for IOCaml

Language:JavaScriptLicense:MITStargazers:22Issues:11Issues:6

ocaml-cookie-js

Simple library for setting/getting cookies in js_of_ocaml

Language:OCamlLicense:BSD-2-ClauseStargazers:7Issues:3Issues:0

hardcaml_picorv32

Hardcaml PicoRV32 port

Language:OCamlStargazers:4Issues:2Issues:0

opam-mirage-kfreebsd

modified opam packages for mirage-kfreebsd

jbuilder

A composable build system for OCaml

Language:OCamlLicense:Apache-2.0Stargazers:2Issues:2Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:1Issues:0Issues:0

base

Standard library for OCaml

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:2Issues:0

camlp4

Camlp4 tool

License:NOASSERTIONStargazers:0Issues:0Issues:0

corundum

Open source, high performance, FPGA-based NIC

Language:VerilogLicense:NOASSERTIONStargazers:0Issues:1Issues:0

devpages

web and js_of_ocaml experiments

Stargazers:0Issues:2Issues:0

fpga_snark_prover

An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs

Language:SystemVerilogStargazers:0Issues:1Issues:0

hardcaml_arty

A hardcaml library to interface with arty boards

Stargazers:0Issues:0Issues:0

lambda-term

Terminal manipulation library for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lwt

OCaml promises and concurrent I/O.

Language:OCamlStargazers:0Issues:2Issues:0

ocaml

Read-only mirror of INRIA SVN

License:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-c3

OCaml bindings for the Javascript c3 charting library

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocaml-cohttp

Very lightweight HTTP server using Lwt or Async

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocaml-github

Github APIv3 OCaml bindings

Language:OCamlStargazers:0Issues:2Issues:0

ocaml-websocket

Websocket library for Lwt

Language:OCamlStargazers:0Issues:2Issues:0

opam

opam packages

Stargazers:0Issues:2Issues:0

openonload

git import of openonload.org https://gist.github.com/majek/ae188ae72e63470652c9

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

plplot

Extracted plplot bindings for OCaml

Language:CStargazers:0Issues:2Issues:0

ppx_bitstring

PPX plugin for the OCAML OPAM bitstring package

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

ppx_deriving

Type-driven code generation for OCaml >=4.02

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

pyml

OCaml bindings for Python

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

riscv-gcc

gcc+newlib and gcc+glibc toolchains

Language:CStargazers:0Issues:2Issues:0

xeve

eXtreamly fast Essential Video Encoder, MPEG-5 EVC (Essential Video Coding)

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0