Simon Edwardsson (@simedw)
github

simedw

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 41
  • Following 12
  • Registered over 15 years ago
  • Most used languages
    Haskell
         75.0 %
    C++
         12.5 %
    Java
         12.5 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 20,399
  • Country Ranking
    Haskell
         166
    C++
         4,978
    Java
         7,010

Top repositories

1

Kandidat

Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.
Haskell
7
star
2

Solverine

Theorem prover using sequent calculus, generates pretty proof trees in latex
Haskell
6
star
3

PureEqSat

Equality Saturation for a small pure language
Haskell
4
star
4

mecab.js

Node.js bindings for mecab (japanese word boundaries)
C++
2
star
5

hajvm

A partially implemented java virtual machine written in haskell.
Haskell
2
star
6

ant-lock

File based mutex lock for ant
Java
1
star
7

ur

Resolve undefined references automagically
Haskell
1
star
8

master

Master Thesis: Implementing Safety Critical Software Modules Using A Function Language
Haskell
1
star