kacarott Goto Github PK
Name: Keldan Chapman
Type: User
Keldan Chapman's Projects
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
docs
The Codewars Docs :construction: WIP
everest-syntax
Atom light syntax theme inspired by desolate peaks.
everest-ui
Atom light ui theme inspired by desolate peaks.
factor
Factor programming language
lambda-calculus
Lambda Calculus compiler for Codewars
mariana-trench-syntax
Atom syntax theme inspired by the deepest depths.
mariana-trench-ui
Atom UI theme inspired by the deepest depths.
painter
Atom package for live colour customisation
polyglot
TamperMonkey user script which improves user experience with CodeWars (or at least tries to).
python-test-framework
Codewars test framework for Python
runner
Issue tracker for Code Runner
scroll-fade
Small Atom extension to provide fade effect while scrolling.
testest
Vocabulary to test Factor code on Codewars
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.