Nico Naus (@niconaus)
github

niconaus

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    37
  • Global Rank 421,862 (Top 15 %)
  • Followers 12
  • Following 4
  • Registered about 11 years ago
  • Most used languages
    Haskell
         42.9 %
    Clean     14.3 %
    JavaScript
         14.3 %
    Java
         14.3 %
    Isabelle     14.3 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 7,440
  • Country Ranking
    Isabelle     1
    Clean     2
    Haskell
         58
    Java
         763
    JavaScript
         7,998

Top repositories

1

pcode-interpreter

Haskell
17
star
2

PCode-Dump

Java
14
star
3

reachability-logic

Isabelle
2
star
4

iTasks-feedback

Clean implementation belonging to the publication: Building a Generic Feedback System for Rule-Based Problems
Clean
1
star
5

Dynamic-Flow-Analysis-for-JavaScript

Implementation of a Dynamic Flow Analysis for JavaScript
JavaScript
1
star
6

rule-tree-semantics

Haskell
1
star
7

low-level-reachability

Haskell
1
star