edwinans
Software Engineer at @LexiFi. Interested in [programming] languages, FP, formal verification, Persian and blockchain technologies.
@LexifiParis
Pinned Repositories
Lambda-Man
A robot gradually discovering a world to find the shortest path to collect all the trees and escape from the hell. Functional programming third year project.
abstract-interpretation-project
blockchain-course
M2 of Computer Science Blockchain course
camel-finder
catprog
Implementation of a Categorical Programming Language
CoreWar
a simple implementation of COREWAR in java
cpa-project
Dazibao
A Dazibao in C Network programming style
dumsh
pezos
Blockchain course project
edwinans's Repositories
edwinans/camel-finder
edwinans/dumsh
edwinans/blockchain-course
M2 of Computer Science Blockchain course
edwinans/catprog
Implementation of a Categorical Programming Language
edwinans/freespec-guess
Simple proof of concept of FreeSpec and coqffi -- The guess game.
edwinans/software-foundations-solutions
Personal solutions for the Software Foundations exercises
edwinans/abstract-interpretation-project
edwinans/FreeSpec
A framework for implementing and certifying impure computations in Coq
edwinans/pezos
Blockchain course project
edwinans/client_server_chat
Simple one on one chat
edwinans/coq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coq
edwinans/coqffi
Coq to OCaml FFI made easy [maintainer=@lthms]
edwinans/ILP4
edwinans/js_of_ocaml
Compiler from OCaml to Javascript.
edwinans/lambda-typer
edwinans/languagetool
Style and Grammar Checker for 25+ Languages
edwinans/Memos
A simple memo (simple bloc of texts) managing web application.
edwinans/mirage
MirageOS is a library operating system that constructs unikernels
edwinans/opam2json
edwinans/paf-formel-tme5
edwinans/problem-solving
Solutions to general computer science problems by category
edwinans/producer-consumer-queue
A multithread procuder-consumer system in C
edwinans/Programming-Language-Benchmarks
Yet another implementation of computer language benchmarks game
edwinans/puppeteer
Node.js API for Chrome
edwinans/svp-project
Software verification and validation course project
edwinans/tennis-paris
Crawl tennis.paris
edwinans/terriers
The 'Fuse Core' Jekyll theme.
edwinans/timerbot
simple timer bot for telegram
edwinans/vscode-ocp-indent
Provide OCP-Indent in VSCode for Ocaml code formatting
edwinans/ziesha-network.github.io