Kacarott

Pinned Repositories

lambda-calculus
Lambda Calculus compiler for Codewars
Language:JavaScript16 4 485
agda
Container image for Agda
Language:Dockerfile0 0 00
AOC
Advent of Code
Language:Factor0 1 00
atom-script
:runner: Run ( scripts | selections | source ) in Atom
Language:JavaScript0 0 00
code-golf
A game designed to let you show off your code-fu by solving problems in the least number of characters.
Language:Go00
CodeMirror
In-browser code editor
Language:JavaScript0 0 00
codemirror-lambda-calculus
Lambda Calculus mode for CodeMirror
Language:HTML0 0 00
CodeMirror-LC-Mode
Lambda Calculus Mode for CodeMirror
Language:JavaScript0 1 00

Kacarott's Repositories

Kacarott/agda
Container image for Agda
Language:Dockerfile0 0 00
Kacarott/AOC
Advent of Code
Language:Factor0 1 00
Kacarott/atom-script
:runner: Run ( scripts | selections | source ) in Atom
Language:JavaScript0 0 00
Kacarott/code-golf
A game designed to let you show off your code-fu by solving problems in the least number of characters.
Language:Go00
Kacarott/CodeMirror
In-browser code editor
Language:JavaScript0 0 00
Kacarott/codemirror-lambda-calculus
Lambda Calculus mode for CodeMirror
Language:HTML0 0 00
Kacarott/CodeMirror-LC-Mode
Lambda Calculus Mode for CodeMirror
Language:JavaScript0 1 00
Kacarott/discord-bot
Codewars Discord Bot
Language:TypeScript0 0 00
Kacarott/docs
The Codewars Docs :construction: WIP
Language:JavaScript0 0
Kacarott/everest-syntax
Atom light syntax theme inspired by desolate peaks.
Language:Less1 0
Kacarott/everest-ui
Atom light ui theme inspired by desolate peaks.
Language:Less2 1
Kacarott/factor
Factor programming language
Language:Factor0 0
Kacarott/lambda-calculus
Lambda Calculus compiler for Codewars
Language:JavaScript0 0
Kacarott/mariana-trench-syntax
Atom syntax theme inspired by the deepest depths.
Language:Less1 0
Kacarott/mariana-trench-ui
Atom UI theme inspired by the deepest depths.
Language:Less1 0
Kacarott/painter
Atom package for live colour customisation
Language:JavaScript1 0
Kacarott/polyglot
TamperMonkey user script which improves user experience with CodeWars (or at least tries to).
Language:JavaScript0 0
Kacarott/python-test-framework
Codewars test framework for Python
Language:Python0 0
Kacarott/runner
Issue tracker for Code Runner
0 0
Kacarott/scroll-fade
Small Atom extension to provide fade effect while scrolling.
Language:JavaScript1 1
Kacarott/testest
Vocabulary to test Factor code on Codewars
Language:Factor0 0