Joe Leslie-Hurd (@gilith)
github

gilith

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    68
  • Global Rank 274,652 (Top 10 %)
  • Followers 34
  • Following 15
  • Registered over 13 years ago
  • Most used languages
    Standard ML     33.3 %
    Haskell
         33.3 %
    OCaml
         16.7 %
    Verilog     16.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 57,804
  • Country Ranking
    Standard ML     15
    OCaml
         419
    Verilog     526
    Haskell
         712

Top repositories

1

metis

An automatic theorem prover for first order logic with equality
Standard ML
30
star
2

opentheory

The opentheory tool processes higher order logic theory packages
Standard ML
15
star
3

hol

A purely functional higher order logic kernel
Haskell
11
star
4

hol-light

HOL Light with OpenTheory Support
OCaml
5
star
5

timelock

Specialized hardware to open the crypto timelock puzzle
Verilog
4
star
6

factor

Factoring integers and polynomials
Haskell
3
star