-
-
-
-
codemirror-testbed Public
A demo app for testing a lezer standalone syntax highlighter
Clojure UpdatedDec 20, 2024 -
camerita-printer Public
An Elixir Nerves application running on Raspberry Pi Zero 2 W. Connects to a remote camera, receives images over WebSocket, sends data to a thermal printer over BlueTooth LE
Elixir MIT License UpdatedAug 10, 2024 -
nerves-rpi0_2-base Public
Base repo for Elixir Nerves running on Raspberry Zero 2 W
Elixir MIT License UpdatedAug 9, 2024 -
garden-gh-remote Public
Test setting up a multi-push combined remote for an application.garden project
Clojure UpdatedJun 28, 2024 -
-
clerk-freehand Public
Clerk notebook utilities for hand-drawn vector diagrams
-
-
clerk-px23 Public
Forked from mk/clerk-px23Clerk Paper for the Programming Experience 23 Workshop
TeX UpdatedMar 16, 2023 -
-
-
osc-spirograph Public
A Clerk Notebook demonstrating OSC driven animations
-
xtdb-tutorial Public
Forked from xtdb/xtdb-tutorialThe xtdb "Space Adventure" tutorial
MIT License UpdatedOct 27, 2021 -
-
A compilation of Notebooks to be accessed via https://github.nextjournal.com
UpdatedMay 31, 2021 -
clojure Public
Forked from clojure/clojureThe Clojure programming language
Java UpdatedJan 26, 2021 -
clojure-friendly Public
Introduces Clojure for the Friendly Functional Programming Meetup Berlin
-
ggt Public
A random collection of Agda facts around the Theory of Group Actions
-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedNov 26, 2019 -
escpos Public
Forked from arjan/escposESC/POS text printing library (thermal Epson USB printers) for Elixir
Elixir UpdatedOct 2, 2019 -
LaTTe Public
Forked from latte-central/LaTTeLaTTe : a Laboratory for Type Theory experiments (in clojure)
-
latte-prelude Public
Forked from latte-central/latte-preludeThe core library of the LaTTe proof assistant
Clojure MIT License UpdatedJul 13, 2019 -
latte-kernel Public
Forked from latte-central/latte-kernelThe (very) small kernel of the LaTTe proof assistant
-
unrepl Public
Forked from Unrepl/unreplA common ground for better Clojure REPLs
Clojure UpdatedMay 24, 2019 -
acm_sig_paper_markdown_pandoc Public
Forked from dgraziotin/acm_sig_paper_markdown_pandocExample project of an academic paper using the ACM SIG Proceedings template
TeX UpdatedFeb 24, 2019 -
latte-sets Public
Forked from latte-central/latte-sets(Typed) Set theory in LaTTe
Clojure MIT License UpdatedFeb 22, 2019 -
{{ message }}