bubbler-4 Goto Github PK

advent-of-apl

Advent of Code solutions written in Dyalog APL, organized into Acre projects

apl-notebooks

APL Jupyter notebooks, runnable via Binder and Gitpod

aplambda

A functionally right APL

arena-manual

아레나 개최 매뉴얼

ato-languages

Docker images containing execution environments for languages on Attempt This Online

attempt-this-online

Try It Online clone: online sandbox environment for testing code in a variety of languages

bclnblc

Interpreter for Binary Lambda Calculus and Binary Combinatory Logic

blog

Bubbler's devlog ("Bubblog")

boj-user-translation

cargo-boj

Cargo-BOJ: test and submit solutions to BOJ problems

cg263748

code-golf

A game designed to let you show off your code-fu by solving problems in the least number of characters.

codemirror-agda

Agda mode and input helper for CodeMirror

codewars-runner-cli

This project contains the CLI tool that allows Codewars.com and Qualified.io to execute unsafe code remotely in multiple languages.

coq-eclipse-che

Docker image to use Coq in Eclipse Che

coq-gitpod

Testing Coq within Gitpod

coq-misc-works

A random collection of my own Coq works

dev-to-apl

dyalog-apl-gitpod

Docker image for using Dyalog APL on Gitpod. Click to try out:

esobox

Rust (re-)implementations of various esolangs

exercism-coq

Exercism exercises in Coq.

factor

Factor programming language

factor-gitpod

A Docker image with Factor installed, for use in Gitpod

factor-problem-solving

Solutions to various problems written in Factor

flurry

Try Flurry Online!

functional-core

A modern Haskell implementation of "Implementing functional languages: a tutorial"

gitpod-browser-demo

Contains the Gitpod configuration to launch a Firefox in Gitpod

gitpod-personal-use

Nothing to see here.

gitpod-sandbox

A dummy repo for playing around with JS/TS using Gitpod

haskell-gitpod-template

Get full Haskell coding experience in Gitpod