Discover yurrriq/iris-floss Open Source project

Propositional logic tools, inspired by the Coq standard library.

idris-logic

Nils Anders Danielsson's Total Parser Combinators (mirror)

parser-combinators

Agda

rust-in-action

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

Rust

learning-fstar

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

An implementation of David Lewin's Generalized Interval Systems

gis

Implementations of ideas in The Power of Pi.

the-power-of-pi

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

abstract-algebra-pinter

My solutions to exercism.io

exercism

Shell

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.

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

friendly-intro-to-group-theory

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

learning-idris

Track the publish dates of your favorite comics

ComiCal

There’s a song for that!™

emotisongs

etudes-for-erlang

📖 Études for Erlang

My résumé in JSON Resume format.

resume

YAML

iweb

Maybe eventually a spiritual port of noweb to Idris.

real_world_machine_learning

📖 Real-World Machine Learning

The theory of algebraic graphs formalised in Idris

idris-alga

land-of-lisp

📖 Land of Lisp

Working though 'Effective Haskell' by Rebecca Skinner

effective-haskell

A pandoc filter to render LaTeX code blocks using minted

pandoc-minted

Dockerized Clojure app via Nix

nix-clojure-docker

Clojure

advent-of-idris

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

Nix-based Docker image with Puppeteer

nix-puppeteer

🚚 MOVED to quasiquoting/pynchon 🚚

pynchon

An Idris implementation of hitchhiker trees.

idris-hitchhiker-tree

digits

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

what-is-my-ip

Clojure

helm-outdated

A Helm plugin to list outdated subcharts

Shell

syntax-and-semantics-of-abts

a formal definition of abstract binding trees with symbols

Puns on puns on puns on the internet.

the-pun-machine

Clojure

learning-coq

📓 My notes as I learn Coq.

Coq

helm-migrate

Migrate Helm releases between namespaces

cedille-playground

📓 Maybe someday useful and organized notes about Cedille.

soggetto-cavato

Carve music from words.

📖 Working through http://buildyourownlisp.com

lispy

the-book-of-fsharp

Working through The Book of F#.

blorg

C-c C-e P p >>=

📓 My notes as I learn ML.

learning-ml

Standard ML

tdd-with-idris

📖 Working through Type-Driven Development with Idris

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

intro-to-graph-theory

📖 Certified Programming with Dependent Types

cpdt

Emacs Lisp

naal

Non-interactive AWS Azure Login

Working through PureScript by Example.

purescript-by-example

PureScript

vfp-in-agda

📖 Verified Functional Programming in Agda

Agda

alice-in-puzzleland

Parser for Kindle clippings.

clippings

gleam-playground

📖 Working through Haskell Programming

ott-core-erlang

haskell-programming

A major mode for the Alpaca language.

alpaca-mode

Emacs Lisp

learning-in-public

Meta-repo to collect by public learnings.

notes

📓 as I learn all the things.

Java

lfe-emacs-quick-start

Getting started with LFE in Emacs

simple_cache

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

📖 💻 Literate programming ☔ repo

Common Lisp

eta-first

Simple Eta -> Clojure interop example

Working through Go Web Programming by Sau Sheong Chang

go-web-programming

festhest

nixops + Haskell example