Discover @yurrriq Open Source projects

Eric Bailey (@yurrriq)

yurrriq

Stars
177
Global Rank 131,071 (Top 5 %)
Followers 213
Following 618
Registered almost 12 years ago
Most used languages

Idris 17.5 %

Haskell
15.8 %

Nix
12.3 %

TeX
10.5 %

Erlang
7.0 %

Clojure
5.3 %

C
5.3 %

Shell
3.5 %

Emacs Lisp
3.5 %

Agda 3.5 %

F#
1.8 %

PureScript 1.8 %

YAML 1.8 %

Java
1.8 %

Rust
1.8 %

Coq 1.8 %

LilyPond 1.8 %

Standard ML 1.8 %

Common Lisp
1.8 %
Location 🇺🇸 United States
Country Total Rank 30,539
Country Ranking

Idris 8

YAML 23

Agda 28

LilyPond 35

Nix
67

Standard ML 124

PureScript 160

Coq 192

Erlang
391

F#
491

Haskell
672

Common Lisp
754

TeX
1,089

Clojure
1,404

Emacs Lisp
1,672

Rust
4,838

dotfiles

My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow

idris-logic

Propositional logic tools, inspired by the Coq standard library.

parser-combinators

Nils Anders Danielsson's Total Parser Combinators (mirror)

rust-in-action

📖 In which I read "Rust in Action" by Tim McNamara via MEAP

learning-fstar

Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)

gis

An implementation of David Lewin's Generalized Interval Systems

the-power-of-pi

Implementations of ideas in The Power of Pi.

abstract-algebra-pinter

📖 Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter

exercism

My solutions to exercism.io

knrc

📖 In which I work through exercises in "The C Programming Language" by Brian W. Kernighan and Dennis M. Ritchie

advent-of-code

Semi-literate polyglot solutions to Advent of Code problems.

friendly-intro-to-group-theory

Working through the exercises in "A Friendly Introduction to Group Theory"

ComiCal

Track the publish dates of your favorite comics

learning-idris

Messy/old Idris notes that don't belong elsewhere.

emotisongs

There’s a song for that!™

etudes-for-erlang

📖 Études for Erlang

iris-floss

Open source blue light reduction software for Linux X11

resume

My résumé in JSON Resume format.

iweb

Maybe eventually a spiritual port of noweb to Idris.

real_world_machine_learning

📖 Real-World Machine Learning

idris-alga

The theory of algebraic graphs formalised in Idris

land-of-lisp

📖 Land of Lisp

pandoc-minted

A pandoc filter to render LaTeX code blocks using minted

effective-haskell

Working though 'Effective Haskell' by Rebecca Skinner

nix-clojure-docker

Dockerized Clojure app via Nix

advent-of-idris

My Idris (and Haskell) solutions to the 2016 Advent of Code.

nix-puppeteer

Nix-based Docker image with Puppeteer

pynchon

🚚 MOVED to quasiquoting/pynchon 🚚

digits

idris-hitchhiker-tree

An Idris implementation of hitchhiker trees.

syntax-and-semantics-of-abts

a formal definition of abstract binding trees with symbols

what-is-my-ip

IP echo service. http://ip.ericb.me

helm-outdated

A Helm plugin to list outdated subcharts

cedille-playground

📓 Maybe someday useful and organized notes about Cedille.

learning-coq

📓 My notes as I learn Coq.

the-pun-machine

Puns on puns on puns on the internet.

lispy

📖 Working through http://buildyourownlisp.com

helm-migrate

Migrate Helm releases between namespaces

soggetto-cavato

Carve music from words.

the-book-of-fsharp

Working through The Book of F#.

blorg

C-c C-e P p >>=

intro-to-graph-theory

📖 Working through "Introduction to Graph Theory" by Richard J. Trudeau

tdd-with-idris

📖 Working through Type-Driven Development with Idris

learning-ml

📓 My notes as I learn ML.

cpdt

📖 Certified Programming with Dependent Types

naal

Non-interactive AWS Azure Login

purescript-by-example

Working through PureScript by Example.

vfp-in-agda

📖 Verified Functional Programming in Agda

alice-in-puzzleland

clippings

Parser for Kindle clippings.

gleam-playground

ott-core-erlang

haskell-programming

📖 Working through Haskell Programming

festhest

nixops + Haskell example

alpaca-mode

A major mode for the Alpaca language.

lfe-emacs-quick-start

Getting started with LFE in Emacs

learning-in-public

Meta-repo to collect by public learnings.

notes

📓 as I learn all the things.

simple_cache

The simple_cache application from Erlang and OTP in Action, ported to LFE.

lp

📖 💻 Literate programming ☔ repo

eta-first

Simple Eta -> Clojure interop example

go-web-programming

Working through Go Web Programming by Sau Sheong Chang

blues-in-f