Bubbler-4

Pinned Repositories

gaboja
gaboja: CLI helper for solving BOJ problems
Language:Rust9 1 01
advent-of-apl
Advent of Code solutions written in Dyalog APL, organized into Acre projects
5 2 00
APLambda
A functionally right APL
Language:TypeScript5 4 00
cargo-boj
Cargo-BOJ: test and submit solutions to BOJ problems
Language:Rust26 1 23
factor-problem-solving
Solutions to various problems written in Factor
Language:Factor12 2 00
math-rs
A collection of mathematical algorithms in pure Rust
Language:Rust5 2 00
piet
A browser-based Piet editor/interpreter
Language:JavaScript12 3 61
rust-problem-solving
Rust Problem Solving
Language:Rust7 2 12
StepULC
Efficient and single-steppable ULC evaluation algorithm
Language:Haskell15 2 01
TryInBrowser
Online interpreter that works even if you go offline
Language:Rust4 3 110

Bubbler-4's Repositories

Bubbler-4/factor-problem-solving
Solutions to various problems written in Factor
Language:Factor12 2 00
Bubbler-4/advent-of-apl
Advent of Code solutions written in Dyalog APL, organized into Acre projects
5 2 00
Bubbler-4/math-rs
A collection of mathematical algorithms in pure Rust
Language:Rust5 2 00
Bubbler-4/Flurry
Try Flurry Online!
Language:JavaScript1 2 0
Bubbler-4/Simukgak
Simukgak Project
Language:Java1 2 0
Bubbler-4/apl-notebooks
APL Jupyter notebooks, runnable via Binder and Gitpod
Language:HTML2 0
Bubbler-4/codemirror-agda
Agda mode and input helper for CodeMirror
Language:JavaScript1 0
Bubbler-4/codewars-runner-cli
This project contains the CLI tool that allows Codewars.com and Qualified.io to execute unsafe code remotely in multiple languages.
Language:JavaScript1 0
Bubbler-4/coq-eclipse-che
Docker image to use Coq in Eclipse Che
Language:Dockerfile1 0
Bubbler-4/coq-gitpod
Testing Coq within Gitpod
Language:Dockerfile1 0
Bubbler-4/coq-misc-works
A random collection of my own Coq works
Language:Coq2 0
Bubbler-4/dev-to-apl
Language:CSS2 0
Bubbler-4/exercism-coq
Exercism exercises in Coq.
Language:Coq1 0
Bubbler-4/gitpod-browser-demo
Contains the Gitpod configuration to launch a Firefox in Gitpod
Language:Dockerfile1 01
Bubbler-4/gitpod-sandbox
A dummy repo for playing around with JS/TS using Gitpod
2 0
Bubbler-4/hspec-codewars
Utility functions for testing on Codewars with Hspec
Language:Haskell1 0
Bubbler-4/PPCG-Fiddle
Place to try various Esolangs for various mini-problems
1 0
Bubbler-4/python-test-framework
Codewars test framework for Python
Language:Python1 0
Bubbler-4/Tutorial
A mini project to introduce GitHub to my teammates
Language:C++1 0
Bubbler-4/TutorialV2
GitHub Tutorial with Android Studio
Language:Java1 0
Bubbler-4/Z80Golf-Vis
Visual debugger for Z80Golf code golf machine (https://github.com/lynn/z80golf)
Language:JavaScript1 0