Blackgaurd
Follow
Lists (1)
Stars
Lean 4 programming language and theorem prover
Like neofetch, but much faster because written mostly in C.
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/
🖼️ A command-line system information tool written in bash 3.2+
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.