Edwin Ansari (@edwinans)
github

edwinans

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 20
  • Following 34
  • Registered over 7 years ago
  • Most used languages
    OCaml
         37.5 %
    Coq     25.0 %
    C
         25.0 %
    Java
         12.5 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 19,394
  • Country Ranking
    Coq     40
    OCaml
         194
    C
         2,155
    Java
         3,366

Top repositories

1

CoreWar

a simple implementation of COREWAR in java
Java
3
star
2

dumsh

C
2
star
3

Dazibao

A Dazibao in C Network programming style
C
2
star
4

camel-finder

OCaml
2
star
5

freespec-guess

Simple proof of concept of FreeSpec and coqffi -- The guess game.
Coq
1
star
6

blockchain-course

M2 of Computer Science Blockchain course
OCaml
1
star
7

software-foundations-solutions

Personal solutions for the Software Foundations exercises
Coq
1
star
8

catprog

Implementation of a Categorical Programming Language
OCaml
1
star