zampino

exnn

An Elixir Evolutive Neural Network framework à la G.Sher

pastelli

An Elixir Plug Adapter for Elli http server

osc-spirograph

A Clerk Notebook demonstrating OSC driven animations

ggt

A random collection of Agda facts around the Theory of Group Actions

clerk-freehand

Clerk notebook utilities for hand-drawn vector diagrams

clojure-friendly

Introduces Clojure for the Friendly Functional Programming Meetup Berlin

gen_stage

GenStage specification and computational flow for Elixir

LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

latte-kernel

The (very) small kernel of the LaTTe proof assistant

acm_sig_paper_markdown_pandoc

Example project of an academic paper using the ACM SIG Proceedings template

agda-stdlib

The Agda standard library

clerk-blocks

Clerky Blocky Clerky

clerk-cljs-demo

A demo Project showing Clerk custom CLJS compilation

clerk-datalevin

Clerk Datalevin Playground

clerk-px23

Clerk Paper for the Programming Experience 23 Workshop

clojure

The Clojure programming language

cuneiform

A Functional Workflow Language

escpos

ESC/POS text printing library (thermal Epson USB printers) for Elixir

fixed-points

a bit of fixed point theory (in LaTTe)

flemma

Flemma Studio Home Page

keyed_queue_backpressure

A simple GenStage example

LaTeXts

My LaTeX docs

latte-prelude

The core library of the LaTTe proof assistant

latte-sets

(Typed) Set theory in LaTTe

nextjournal-github-explorer-test

A compilation of Notebooks to be accessed via https://github.nextjournal.com

pod

An experimental Elixir Nerves playground

re-db

scrapbook

Clerk Notebook Miscellanea

unrepl

A common ground for better Clojure REPLs

xtdb-tutorial

The xtdb "Space Adventure" tutorial