Name: Simon Cruanes
Type: User
Company: Imandra (@imandra-ai)
Bio: Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Location: washington DC
Blog: https://simon.cedeela.fr
maki
[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks
manual-ocamlbuild
A new reference manual for the ocamlbuild tool
mc2
[research] A modular SMT solver in OCaml, based on mcSAT
mdbook
Create book from markdown files. Like Gitbook but implemented in Rust
mixtbl
Statically-typed heterogenous hash table
mm0
Metamath Zero specification language
neperien
[unfinished] structured, hierarchical log system for OCaml
oasis
Cabal like system for OCaml
oasis-parser
Simple parser for _oasis files
objsize
backup copy of https://bitbucket.org/gds/objsize which is now gone
ocabot
IRC bot for #ocaml@freenode
ocaml
Read-only mirror of INRIA SVN
ocaml-aig
[toy] And-Inverter Graph in OCaml
ocaml-atomic
Compatibility package for the Atomic module
ocaml-avro
Runtime library and schema compiler for the Avro serialization format
ocaml-benchmark
Benchmarking module for OCaml
ocaml-bigstring
Overlay over bigarrays of chars
ocaml-cbor
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
ocaml-chord
[unfinished] Chord DHT implementation in OCaml (not production-ready)
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
ocaml-cstruct
Map OCaml arrays onto C-like structs
ocaml-git
Pure OCaml low-level git bindings
ocaml-glpk
OCaml bindings for glpk
ocaml-gnuplot
bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
ocaml-hamt
Mirror of: http://gitorious.org/ocaml-hamt/ocaml-hamt
ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
ocaml-irc-client
OCaml IRC client library
ocaml-irclog
parsing IRC logs as produced by irssi
ocaml-lsp
OCaml Language Server Protocol implementation
ocaml-minisat
OCaml bindings to Minisat
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
