Pinned Repositories
hashc
The Hash programming language compiler :zap:
dtach
A simple program that emulates the detach feature of screen
fluid
The Fluid programming language, for experimenting with automated refactoring for dependent types.
gravity-engine-cpp
Solar system simulator in C++ with SFML
hermes
WIP: An incredible TCP implementation in C. Hopefully will support macOS/Linux/BSD.
notion-scheduler
Allows the creation of recurring tasks in Notion using the official API.
notion_scheduler
Allows the creation of recurring tasks in Notion.
powar-ts
A simple but powerful TypeScript-based dot-file manager.
superfluid
A functional language with dependent types and customisable type representations
ultra
System-wide macOS VIM keybindings
kontheocharis's Repositories
kontheocharis/notion_scheduler
Allows the creation of recurring tasks in Notion.
kontheocharis/notion-scheduler
Allows the creation of recurring tasks in Notion using the official API.
kontheocharis/powar-ts
A simple but powerful TypeScript-based dot-file manager.
kontheocharis/fluid
The Fluid programming language, for experimenting with automated refactoring for dependent types.
kontheocharis/hermes
WIP: An incredible TCP implementation in C. Hopefully will support macOS/Linux/BSD.
kontheocharis/powar
A dotfile/configuration manager unlike any other!
kontheocharis/superfluid
A functional language with dependent types and customisable type representations
kontheocharis/has-space-rs
Check whether there is a macOS space before/after the current one.
kontheocharis/ultra
System-wide macOS VIM keybindings
kontheocharis/3-Body-Problem
Math IA code
kontheocharis/advent-of-code-2020
Advent of code 2020 challenges.
kontheocharis/advent-of-code-2023
kontheocharis/brainruck
A brainf interpreter in rust.
kontheocharis/bspswallow
dwm-like swallowing for bspwm
kontheocharis/document-presets
Presets that I use to make my life easier when dealing with documents.
kontheocharis/durak-cards-client
React client for durak cards game.
kontheocharis/gamma
A value investment strategy tool.
kontheocharis/Graphika
A fast JavaScript library to draw elegant graphs :chart_with_upwards_trend: :bar_chart:
kontheocharis/gravity-engine
Solar system simulator in p5.js
kontheocharis/gravity-plot-py
kontheocharis/hash-playground
kontheocharis/haskell-practice
Just some Haskell practice
kontheocharis/hubspot-immutables
kontheocharis/mand
Fractal generator in the browser
kontheocharis/notion-formulas
A collection of Notion formulas.
kontheocharis/notion-py
Unofficial Python API client for Notion.so
kontheocharis/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
kontheocharis/qutebrowser
A keyboard-driven, vim-like browser based on PyQt5.
kontheocharis/tex-web
TeX-like feel on the web.
kontheocharis/VimMode.spoon
Adds vim keybindings to all OS X inputs