tage64 Goto Github PK

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.

dict-freedict-epo-eng-bin

AUR package for Esperanto -> English dictionary.

ffmpeg-decoder-rs

Decode audio files using ffmpeg bindings

fundamental-os-concepts

Assignments about fundamental operating systems concepts.

gohugo-theme-ananke

Ananke: A theme for Hugo Sites

introduction-to-erlang

kombinatorik-1ma020

Filer och information för kursen i Kombinatorik (1MA020) vid Uppsala Universitet

lean.nvim

neovim support for the Lean theorem prover

lean_subprocess_test

A small programming demonstrating why Lean's subprocess functionality doesn't seem to work very well.

lsp-types

Types for communicating with a language server

magda

Magda: Minimal Agda mode for Neovim

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.

mental-calc

A small CLI app which helps you to practise mental calculation.

minicp

minicp

nixpkgs

Nix Packages collection

playtone

Play a single (sine wave) tone forever

processes-and-ipc

Assignments about processes, process management, signals and pipes

quando

A small program to show ICS calenders in the terminal.

repl-check

Pandoc filter to verify and create repl code blocks.

rust-ffmpeg

Safe FFmpeg wrapper.

rustyline

Readline Implementation in Rust

serde

Serialization framework for Rust

srfschack.org

tages_keyboard_layout

A keyboard layout created by (me) Tage Johansson.

threads-synchronization-deadlock

Assignments about threads, synchronization and deadlock