Jamie Lowenthal (@jmlowenthal)
github

jmlowenthal

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 413,863 (Top 15 %)
  • Followers 24
  • Following 62
  • Registered over 9 years ago
  • Most used languages
    C++
         50.0 %
    Agda     12.5 %
    PHP
         12.5 %
    TypeScript
         12.5 %
    Haskell
         12.5 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 16,115
  • Country Ranking
    Agda     17
    Haskell
         273
    C++
         2,060
    PHP
         4,776
    TypeScript
         6,067

Top repositories

1

agda-c

Verified C programming in Agda
Agda
16
star
2

idslib

A simple library to integrate IDS cameras into OpenCV
C++
8
star
3

staged-streams.agda

An implementation of the staged Strymonas streams library in Agda for C
Haskell
8
star
4

dokuwiki-katex

DokuWiki plugin - protects LaTeX math, then parses with KaTeX
PHP
2
star
5

lidar-vision

Building detection in LIDAR data using OpenCV
C++
1
star
6

hivemind

Simple illustration of collective intelligence
C++
1
star
7

routr

A hackathon game about firewalls and networking. Built at Hack Cambridge 101.
TypeScript
1
star
8

survey

Pathfinding and route-planning utilities for drone-based area surveying
C++
1
star