Edwin Ansari's repositories
js_of_ocaml
Compiler from OCaml to Javascript.
tennis-paris
Crawl tennis.paris
problem-solving
Solutions to general computer science problems by category
mirage
MirageOS is a library operating system that constructs unikernels
puppeteer
Node.js API for Chrome
Programming-Language-Benchmarks
Yet another implementation of computer language benchmarks game
languagetool
Style and Grammar Checker for 25+ Languages
vscode-ocp-indent
Provide OCP-Indent in VSCode for Ocaml code formatting
Memos
A simple memo (simple bloc of texts) managing web application.
timerbot
simple timer bot for telegram
client_server_chat
Simple one on one chat
freespec-guess
Simple proof of concept of FreeSpec and coqffi -- The guess game.
FreeSpec
A framework for implementing and certifying impure computations in Coq
coq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coq
coqffi
Coq to OCaml FFI made easy [maintainer=@lthms]
pezos
Blockchain course project
svp-project
Software verification and validation course project
terriers
The 'Fuse Core' Jekyll theme.
software-foundations-solutions
Personal solutions for the Software Foundations exercises
blockchain-course
M2 of Computer Science Blockchain course
producer-consumer-queue
A multithread procuder-consumer system in C