Discover @larrytheliquid Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

MATLAB

Perl

Kotlin

Swift

C++

Dart

Jupyter Notebook

OCaml

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Elm

Ada

C

Perl

Go

Groovy

Ruby

Nix

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇾🇪 Yemen

🇳🇵 Nepal

🇴🇲 Oman

🇲🇾 Malaysia

🇬🇷 Greece

🇳🇦 Namibia

🇰🇷 South Korea

🇬🇱 Greenland

All Countries Compare Countries

Larry Diehl (@larrytheliquid)

larrytheliquid

Stars
471
Global Rank 60,912 (Top 3 %)
Registered over 16 years ago
Most used languages

Ruby
32.3 %

Haskell
19.4 %

TeX
19.4 %

Clojure
9.7 %

Agda 9.7 %

JavaScript
6.5 %

Common Lisp
3.2 %
Location 🇺🇸 United States
Country Total Rank 15,554
Country Ranking

Agda 19

Haskell
166

Clojure
510

Common Lisp
535

TeX
604

Ruby
1,337

Lemmachine

REST'ful web framework in Agda

dataflow

Dataflow concurrency for Ruby (inspired by the Oz language)

dtgp

Dependently Typed Genetic Programming

cry

A CommonLisp CLOS-like parse tree library for Ruby... read (and write) it and weep.

revolve

Flexible Ruby stack-based Genetic Programming

leveling-up

Source code accompanying the paper "Leveling Up Dependent Types"

buzzer

Creating a buzzword detector: A Git-powered Clojure tutorial (Gitorial)

specjure

Behaviour Driven Development framework for Clojure

neurosis

Ruby Sinatra REST frontent to simple Haskell MLP Neural Network (AKA Hubris Haskell->Ruby bridge demo)

generic-elim

Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"

linear-temporal-logic

sandbox for playing with linear temporal logic

spire

The Spire Programming Language

generic-reuse

Source code accompanying the draft paper "Generic Zero-Cost Reuse for Dependent Types"

uAgda

[UNOFFICIAL FORK] Making uAgda work with ghc 7.4.1

pigit

seeing what Epigram looks like after a darcs-fastconvert (NOT AN OFFICIAL MIRROR)

zero-cost-coercions

Source code accompanying the draft paper "Zero-Cost Coercions for Program and Proof Reuse"

mltt-lecture

plclub-expless

PL Club talk on Expressionless Weak-Head Normal Forms

idbein-ruby

pigeons-blood

Ruby methods that can be used in place of language keywords.

paralyze

Various way to run RSpec in parallel and Paralyze computers running it.

agda-rb

scotrubyconf

[presentation] Dependent Types: A Look At The Other Side

thesis

gp

Genetic Programming in Clojure

clspec

Behaviour Driven Development framework for Common Lisp

sbe

Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".

carroll

Toy implementation of the declarative Oz kernel language

expless

Adaptation of Ch. 4 of James Chapman's thesis to Values and Hereditary Substitution (note to self: currently missing some theorems still on laptop)

buffer-overflows

plclub-oct-2012

Code for a PL Club I gave at PSU on October 26, 2012

plclub-apr-2013

Code for a PL Club I gave at PSU on April 19, 2013.

dtp10

presentation i gave at a dependent types workshop when i was more naive than now

methodical

"Think before you call methods"

random-bug-walk

Random Bug Walk assignment for UCF - CET 4523 - Applied System Analysis II

abstract-theory

I think this was code i played with while preparing for the galois tech talk i gave