yurrriq Goto Github PK

eunix

Rewriting UNIX tools for my own edification

example-nix

illustration of how I use Nix

example-url-shortener

🔗 An example Gleam web application

examples

Example Dockerfiles and applications to run on Carina

exe

Language with Dependent Types

exemplar

Markup Language Expressions for LFE

exercism

My solutions to exercism.io

exercism-app

:construction: Experimental exercism.io mobile app in ClojureScript via React Native.

exercism-emacs

Exercism.el, emacs package for exercism.io

external-dns

Configure external DNS servers (AWS Route53, Google CloudDNS and others) for Kubernetes Ingresses and Services

fantastic-broccoli

festhest

nixops + Haskell example

fitch

Certified proof checker for Fitch-style propositional logic proofs

flying-spaghetti-monster

An Idris type provider for communicating type-checkable protocols.

fm2gp

:book: From Mathematics to Generic Programming

frap

Formal Reasoning About Programs

free

free monads

frege

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

frege-cats

Cats bindings for Frege data types

frege-lein-plugin

Support Frege compiler via leiningen

fregure

Experiments in Frege and Clojure integration

friendly-intro-to-group-theory

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

fsharpkoans

A simple, fun, and interactive way to learn the F# language through testing.

gap-pygments-lexer

A Pygments lexer for the GAP language

geb

gis

An implementation of David Lewin's Generalized Interval Systems

git-bump

A semantic versioning bump script

gitdo

Create Github issues out of TODO comments in code

gleam-playground

gleam_elli

🍛 Respond to HTTP requests with Elli