Constantine Theocharis (kontheocharis)

kontheocharis

Geek Repo

Company:University of St Andrews

Location:UK

Github PK Tool:Github PK Tool

Constantine Theocharis's repositories

notion_scheduler

Allows the creation of recurring tasks in Notion.

Language:PythonLicense:MITStargazers:19Issues:4Issues:4

notion-scheduler

Allows the creation of recurring tasks in Notion using the official API.

Language:TypeScriptLicense:MITStargazers:7Issues:2Issues:0

fluid

The Fluid programming language, for experimenting with automated refactoring for dependent types.

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:3Issues:32

hermes

WIP: An incredible TCP implementation in C. Hopefully will support macOS/Linux/BSD.

Language:CLicense:MITStargazers:1Issues:2Issues:0

powar

A dotfile/configuration manager unlike any other!

Language:PythonLicense:MITStargazers:1Issues:2Issues:0

powar-ts

A simple but powerful TypeScript-based dot-file manager.

Language:TypeScriptStargazers:1Issues:1Issues:2

superfluid

A functional language with dependent types and customisable type representations

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

has-space-rs

Check whether there is a macOS space before/after the current one.

Language:RustStargazers:0Issues:0Issues:0

ultra

System-wide macOS VIM keybindings

Language:TypeScriptStargazers:0Issues:1Issues:0

3-Body-Problem

Math IA code

Language:PythonStargazers:0Issues:1Issues:0

advent-of-code-2020

Advent of code 2020 challenges.

Language:PythonStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

brainruck

A brainf interpreter in rust.

Language:RustStargazers:0Issues:2Issues:0

bspswallow

dwm-like swallowing for bspwm

License:MITStargazers:0Issues:0Issues:0

document-presets

Presets that I use to make my life easier when dealing with documents.

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

durak-cards-client

React client for durak cards game.

Language:JavaScriptStargazers:0Issues:1Issues:0

gamma

A value investment strategy tool.

Language:RustStargazers:0Issues:2Issues:0

Graphika

A fast JavaScript library to draw elegant graphs :chart_with_upwards_trend: :bar_chart:

Language:JavaScriptStargazers:0Issues:1Issues:0

gravity-engine

Solar system simulator in p5.js

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0

haskell-practice

Just some Haskell practice

Language:HaskellStargazers:0Issues:0Issues:0
Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

mand

Fractal generator in the browser

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

notion-formulas

A collection of Notion formulas.

Language:PythonStargazers:0Issues:2Issues:0

notion-py

Unofficial Python API client for Notion.so

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

Language:LuaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

qutebrowser

A keyboard-driven, vim-like browser based on PyQt5.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

tex-web

TeX-like feel on the web.

Language:HTMLStargazers:0Issues:0Issues:0

VimMode.spoon

Adds vim keybindings to all OS X inputs

Language:LuaStargazers:0Issues:1Issues:0