Pinned Repositories
Agda-input-vim
Agda input mode for vim
aqcp
Advanced Quantified Communication Program
berserk
Python client for the lichess API
bible.com-scraper
Download any bible from bible.com.
chess-cli
A repl to edit and analyse chess games.
concu
Some properties about concurrent algorithms and datastructures defined in Lean.
crux_geo_app
An experimental GPS app built using Crux.
dict-freedict-epo-eng-bin
AUR package for Esperanto -> English dictionary.
ffmpeg-decoder-rs
Decode audio files using ffmpeg bindings
tage64's Repositories
tage64/chess-cli
A repl to edit and analyse chess games.
tage64/Agda-input-vim
Agda input mode for vim
tage64/berserk
Python client for the lichess API
tage64/bible.com-scraper
Download any bible from bible.com.
tage64/concu
Some properties about concurrent algorithms and datastructures defined in Lean.
tage64/crux_geo_app
An experimental GPS app built using Crux.
tage64/dict-freedict-epo-eng-bin
AUR package for Esperanto -> English dictionary.
tage64/gohugo-theme-ananke
Ananke: A theme for Hugo Sites
tage64/introduction-to-erlang
tage64/Kombinatorik-1MA020
Filer och information för kursen i Kombinatorik (1MA020) vid Uppsala Universitet
tage64/lean.nvim
neovim support for the Lean theorem prover
tage64/lean_subprocess_test
A small programming demonstrating why Lean's subprocess functionality doesn't seem to work very well.
tage64/lsp-types
Types for communicating with a language server
tage64/magda
Magda: Minimal Agda mode for Neovim
tage64/menace
Matchbox Educable Naughts and Crosses Engine, implemented in Rust, and it probably diverges quite a lot from the mechanical computer by Donald Michie in 1961.
tage64/minicp
minicp
tage64/playtone
Play a single (sine wave) tone forever
tage64/punwrap
Python bindings for runwrap
tage64/quando
A small program to show ICS calenders in the terminal.
tage64/repl-check
Pandoc filter to verify and create repl code blocks.
tage64/rust-ffmpeg
Safe FFmpeg wrapper.
tage64/rustyline
Readline Implementation in Rust
tage64/serde
Serialization framework for Rust
tage64/srfschack.org
tage64/tage64.github.io
My experimental GPS app
tage64/tages_keyboard_layout
A keyboard layout created by (me) Tage Johansson.
tage64/threads-synchronization-deadlock
Assignments about threads, synchronization and deadlock
tage64/typeguard
Run-time type checker for Python
tage64/zoxide
A smarter cd command. Supports all major shells.
tage64/zulip_rs