citrusmunch Goto Github PK

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

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

ghcup-hs

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

reanimate

Haskell library for building declarative animations based on SVG graphics

stack

The Haskell Tool Stack

temp-manim-projects