citrusmunch's repositories
agda-ring-solver
A fast, easy-to-use ring solver for agda with step-by-step solutions
agda-stdlib
The Agda standard library
awesome-emacs
A community driven list of useful Emacs packages, libraries and others.
awesome-manim
A database with many Manim users and content creators
bitburner
Bitburner Game
bopomofo
Translate 漢字 to ㄅㄆㄇㄈ(注音)
bqncrate
A derivative approach to finding your way in BQN
reanimate
Haskell library for building declarative animations based on SVG graphics
deno
A modern runtime for JavaScript and TypeScript.
DiscordManimator
A Manim Rendering Bot for Discord. Requires a Functioning Manim install.
elfeed-org
Configure the Elfeed RSS reader with an Orgmode file
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
high-dimensionality-animations
Some animations we will be using for the next episode of MLST
homebrew-cask-versions
🔢 Alternate versions of Casks
LibreLingo
🐢 🌎 📚 a community-owned language-learning platform
lux
The Lux Programming Language
makemeahanzi
Free, open-source Chinese character data
manim
A community-maintained Python framework for creating mathematical animations.
manim-onlinetex
A Manim Plugin that renders LaTeX for Mobjects like Tex and MathTex via online services.
MathInspector
A visual programing environment for scientific computing with python
plfa.github.io
Introduction to programming language theory in Agda
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
stack
The Haskell Tool Stack