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
abrasatcuda
[archive] Truly horrible old student project: a naive SAT-solver that runs on the GPU
andes
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
asm-lsp
Language server for NASM/GAS/GO Assembly
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
bare-ocaml
runtime library and code-generator for BARE (https://baremessages.org/)
batsat
A (parametrized) Rust SAT solver originally based on MiniSat
batsat-ocaml
OCaml bindings for batsat (https://github.com/c-cube/batsat)
batteries-included
Batteries Included project
benchmarks
Tons of Inductive Problems: The Benchmarks
bencode
Bencode (.torrent file format) reader/writer in OCaml
bencode_rpc
[toy] Remote Procedure Call with B-encode serialization and Lwt concurrency (probably not production ready).
bender
[toy] IRC bot in rust, for my private use
bender-ocaml
[dead] Write OCaml plugins for bender
bevy
A refreshingly simple data-driven game engine built in Rust
bibtex
repository for sharing bibtex files
blag
source for the blag https://blag.cedeela.fr
c-cube.github.io-backup
Personal page (not up to date, see https://simon.cedeela.fr instead)
calculon
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
capnp-rpc
Cap'n Proto RPC implementation
ccbor
[WIP] CBOR codec for OCaml
cconv
[dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html
choice
Choice operator in OCaml, providing a backtracking monad
concurrent.cr
Modern concurrency tools for Crystal
containers-lwt
Utilities for Lwt
containers-misc
[toy] Random stuff from containers, low quality, experimental
coquille
Interactive theorem proving with Coq in vim.
crirc
A crystal lib for irc client
cryptokit
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
crystal
The Crystal Programming Language
datalog
An in-memory datalog implementation for OCaml.
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.
