Avinash (@amal029)
github

amal029

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    69
  • Global Rank 266,320 (Top 10 %)
  • Followers 12
  • Registered over 12 years ago
  • Most used languages
    OCaml
         41.7 %
    Java
         16.7 %
    Idris     8.3 %
    C
         8.3 %
    Python
         8.3 %
    Scheme
         8.3 %
    Agda     8.3 %
  • Location 🇳🇿 New Zealand
  • Country Total Rank 905
  • Country Ranking
    Idris     1
    OCaml
         1
    Agda     3
    Scheme
         19
    Java
         75
    C
         341
    Python
         892

Top repositories

1

jop

Instrumented Java Optimized processor
Java
27
star
2

st

IEC-61131-3 Structured text parser
OCaml
17
star
3

Cgals

Programming language for safety critical and real-time systems
OCaml
7
star
4

poly

Poly language
OCaml
3
star
5

ocaml-gxl-light

A Ocaml library for parsing and manipulating GXL files
OCaml
3
star
6

eha

A python implementation of event based Hybrid Automata simulation framework.
Python
3
star
7

satscheme

A SAT solver written in scheme
Scheme
2
star
8

lib-metis

Ocaml bindings to Metis graph partitoning library
C
2
star
9

idris-data-structures

Data structures implemented in Idris
Idris
1
star
10

sched_smt_ilp

Scheduling task graphs -- SMT vs ILP formulation comparisons
OCaml
1
star
11

Stream2MC

Compiling stream graphs to model-checkers, ILP, and heuristic algorithms
Java
1
star
12

agda-tutorial-dybjer

Learning agda properly
Agda
1
star