Pinned Repositories
lambda-calculus
Lambda Calculus compiler for Codewars
agda
Container image for Agda
AOC
Advent of Code
atom-script
:runner: Run ( scripts | selections | source ) in Atom
CodeMirror
In-browser code editor
codemirror-lambda-calculus
Lambda Calculus mode for CodeMirror
CodeMirror-LC-Mode
Lambda Calculus Mode for CodeMirror
discord-bot
Codewars Discord Bot
Kacarott's Repositories
Kacarott/agda
Container image for Agda
Kacarott/AOC
Advent of Code
Kacarott/atom-script
:runner: Run ( scripts | selections | source ) in Atom
Kacarott/CodeMirror
In-browser code editor
Kacarott/codemirror-lambda-calculus
Lambda Calculus mode for CodeMirror
Kacarott/CodeMirror-LC-Mode
Lambda Calculus Mode for CodeMirror
Kacarott/discord-bot
Codewars Discord Bot
Kacarott/docs
The Codewars Docs :construction: WIP
Kacarott/everest-syntax
Atom light syntax theme inspired by desolate peaks.
Kacarott/everest-ui
Atom light ui theme inspired by desolate peaks.
Kacarott/factor
Factor programming language
Kacarott/lambda-calculus
Lambda Calculus compiler for Codewars
Kacarott/mariana-trench-syntax
Atom syntax theme inspired by the deepest depths.
Kacarott/mariana-trench-ui
Atom UI theme inspired by the deepest depths.
Kacarott/painter
Atom package for live colour customisation
Kacarott/polyglot
TamperMonkey user script which improves user experience with CodeWars (or at least tries to).
Kacarott/python-test-framework
Codewars test framework for Python
Kacarott/runner
Issue tracker for Code Runner
Kacarott/scroll-fade
Small Atom extension to provide fade effect while scrolling.
Kacarott/testest
Vocabulary to test Factor code on Codewars