A parser, interpretter, and compiler for a functional programming language with the same grammar as JSON.
Updated 2024-03-17 17:44:33 +00:00
The simplest Python calculator :D
Updated 2024-03-29 10:59:36 +00:00
configuration for homemanager, this is a personal repo, but could also be used as a a template for saturnOS development
Updated 2024-01-22 06:28:19 +00:00
free monoids & free commutative monoids
Updated 2024-03-29 10:59:45 +00:00
46 Labrys Emojis with transparent backgrounds
Updated 2023-09-24 05:50:35 +00:00
transforming setoids to quotient sets
Updated 2024-03-29 11:00:02 +00:00
Nintendo higher-ups, please die a forever painful death involving cars covered in hammers that explode more than a few times and hammers go flying everywhere
Updated 2024-03-03 11:39:55 +00:00
Nintendo higher-ups, please die a forever painful death involving cars covered in hammers that explode more than a few times and hammers go flying everywhere
Updated 2024-02-27 22:49:19 +00:00
arithmetic expression evaluation using reverse polish notation.
Updated 2024-04-12 09:22:15 +00:00
Algebraic graphs with Agda
Updated 2024-03-29 10:59:51 +00:00
an assembly language with quantum instructions
Updated 2024-04-01 11:29:44 +00:00
Updated 2020-08-17 20:39:52 +00:00
A set of stabilized interfaces for cchat implementations, joining the backend and frontend together.
Updated 2021-05-25 03:28:30 +00:00