Blackgaurd
Follow
Lists (1)
Stars
Magnificent app which corrects your previous console command.
A Mozilla SpiderMonkey JavaScript engine embedded into the Python VM, using the Python engine to provide the JS host environment.
A Typst package for creating custom shorthands for math equations.
Lean 4 programming language and theorem prover
An actively maintained, feature-rich and performance oriented, neofetch like system information tool.
An implementation of numbered theorem environments in typst
An implementation of the Language Server Protocol for LaTeX
⭐️ A friendly language for building type-safe, scalable systems!
Scheme syntax highlighting for the LaTeX listings package.
DrRacket themes derived from base16-builder
FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.
A C-like language to Brainfuck compiler, written in Python
An extremely fast Python linter and code formatter, written in Rust.
Facilitating high-level interactions between Wasm modules and JavaScript
A cd command that learns - easily navigate directories from the command line
Repository for the book "Crafting Interpreters"
C++ Discord API Bot Library - D++ is Lightweight and scalable for small and huge bots!
Jump helps you navigate faster by learning your habits. ✌️
OCaml binding for SFML (Simple and Fast Multimedia Library), http://www.sfml-dev.org/
Everyone writes a Raytracer eventually. This is mine.
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.