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