Skip to content
View tage64's full-sized avatar
6 followers · 0 following
  • Sweden

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report tage64

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • CoderAgent Public

    An experimental coder agent based on an LLM

    Jupyter Notebook 2 Updated Sep 26, 2024

  • llm-mushroom-chatbot Public

    Forked from npielawski/llm-mushroom-chatbot

    Lab for the 1RT730 course

    Jupyter Notebook Updated Sep 24, 2024

  • chess-cli Public

    A repl to edit and analyse chess games.

    Python 1 GNU General Public License v3.0 Updated Sep 16, 2024

  • crux_geo_app Public

    An experimental GPS app built using Crux.

    Rust GNU Affero General Public License v3.0 Updated Sep 11, 2024

  • tage64.github.io Public

    My experimental GPS app

    JavaScript GNU Affero General Public License v3.0 Updated Sep 9, 2024

  • zulip_rs Public

    Forked from nukr/zulip_rs
    Rust Updated Aug 12, 2024

  • typeguard Public

    Forked from agronholm/typeguard

    Run-time type checker for Python

    Python Other Updated Jul 31, 2024

  • punwrap Public

    Forked from veikman/punwrap

    Python bindings for runwrap

    Python GNU General Public License v3.0 Updated Jul 31, 2024

  • srfschack.org Public

    HTML MIT License Updated Jul 1, 2024

  • Kombinatorik-1MA020 Public

    Forked from vagdur/Kombinatorik-1MA020

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

    TeX Creative Commons Attribution Share Alike 4.0 International Updated Mar 7, 2024

  • menace Public

    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.

    Rust Updated Feb 12, 2024

  • zoxide Public

    Forked from ajeetdsouza/zoxide

    A smarter cd command. Supports all major shells.

    Rust MIT License Updated Jan 11, 2024

  • berserk Public

    Forked from lichess-org/berserk

    Python client for the lichess API

    Python GNU General Public License v3.0 Updated Jan 7, 2024

  • bible.com-scraper Public

    Download any bible from bible.com.

    Python GNU General Public License v3.0 Updated Dec 16, 2023

  • concu Public

    Some properties about concurrent algorithms and datastructures defined in Lean.

    Lean Updated Dec 8, 2023

  • tages_keyboard_layout Public

    A keyboard layout created by (me) Tage Johansson.

    Shell Updated Oct 19, 2023

  • minicp Public template

    Forked from minicp/minicp

    minicp

    Java Updated Oct 3, 2023

  • quando Public

    A small program to show ICS calenders in the terminal.

    Python GNU General Public License v3.0 Updated Sep 4, 2023

  • lsp-types Public

    Forked from gluon-lang/lsp-types

    Types for communicating with a language server

    Rust MIT License Updated Aug 23, 2023

  • dict-freedict-epo-eng-bin Public

    AUR package for Esperanto -> English dictionary.

    Shell Updated Jun 25, 2023

  • repl-check Public

    Pandoc filter to verify and create repl code blocks.

    Rust Updated Jun 24, 2023

  • lean_subprocess_test Public archive

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

    Lean Updated May 5, 2023

  • gohugo-theme-ananke Public

    Forked from theNewDynamic/gohugo-theme-ananke

    Ananke: A theme for Hugo Sites

    HTML MIT License Updated Mar 25, 2023

  • rustyline Public

    Forked from kkawakam/rustyline

    Readline Implementation in Rust

    Rust MIT License Updated Mar 5, 2023

  • serde Public

    Forked from serde-rs/serde

    Serialization framework for Rust

    Rust Apache License 2.0 Updated Oct 23, 2022

  • rust-ffmpeg Public

    Forked from zmwangx/rust-ffmpeg

    Safe FFmpeg wrapper.

    Rust Do What The F*ck You Want To Public License Updated Oct 14, 2022

  • Agda-input-vim Public

    Agda input mode for vim

    Vim Script GNU General Public License v3.0 Updated Aug 15, 2022

  • lean.nvim Public

    Forked from Julian/lean.nvim

    neovim support for the Lean theorem prover

    Lua MIT License Updated Aug 15, 2022

  • playtone Public

    Play a single (sine wave) tone forever

    Rust GNU General Public License v3.0 Updated Aug 14, 2022

  • magda Public

    Forked from pedrominicz/magda

    Magda: Minimal Agda mode for Neovim

    Vim Script Updated Jun 21, 2022