m4tx / satori-enhancementsLinks
WebExtension that adds various quality-of-life improvements to Satori Online Judge website.
☆16Updated 5 months ago
Alternatives and similar repositories for satori-enhancements
Users that are interested in satori-enhancements are comparing it to the libraries listed below
Sorting:
- kolejka is a lightweight task scheduling platform developed for a small computational grid at Faculty of Mathematics and Computer Science…☆14Updated 7 months ago
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Updated 6 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 4 years ago
- Solving LeetCode problems in Dyalog APL☆12Updated 2 years ago
- My esoteric languages☆27Updated 2 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 months ago
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated last month
- Notes from subjects taught on TCS, JU☆24Updated last month
- A library for writing discord bots in haskell☆116Updated last week
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Updated 3 years ago
- The IntercalScript programming language☆138Updated 4 years ago
- The only true brainfuck-targetting assembler.☆115Updated 2 years ago
- ☆11Updated 4 years ago
- The Knight Programming Language☆72Updated this week
- An esoteric programming language, using box-drawing characters☆29Updated 3 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆23Updated 2 months ago
- Tools to avoid unnecessary usage of safe code☆38Updated 4 years ago
- /r/osugame's benevolent robot overlord☆23Updated 10 months ago
- The future of programming.☆69Updated 4 years ago
- Don't ask me how this works☆12Updated 4 years ago
- Nix RFC draft on evaluation purity and caching builtins☆15Updated last year
- Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…☆24Updated 4 years ago
- This repository serves as a centre for collaboration on the PyHP++# language. It will also include a functioning interpreter and compiler…☆23Updated 7 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆112Updated 11 months ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 5 years ago
- Ominfactory GTCE Circuits Textures Usernm☆12Updated 5 years ago
- Macros have types!☆129Updated 2 years ago
- discord bot for uwuifying text☆34Updated 4 years ago