Skip to content
View tsouanas's full-sized avatar
143 followers · 10 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report tsouanas

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

  • 2024.2-fun Public

    Files created during and used by my classes of the Functional Programming course, for the semester 2024.2, UFRN.

    Haskell 2 MIT License Updated Jan 16, 2025

  • unicodef-thatex Public

    mostly ΘάTeX-influenced defs for unicodef; compiled output files included

    Vim Script MIT License Updated Jan 9, 2025

  • fmcbook Public

    Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)

    TeX 96 7 Other Updated Jan 6, 2025

  • unicodef Public

    unicode sequence definitions for X, vim, etc.

    Python 5 ISC License Updated Nov 27, 2024

  • 2024.2-fmc1-student Public template

    template for students of the FMC1 course, 2024.2, UFRN

    MIT License Updated Oct 28, 2024

  • 2024.2-fun-student Public template

    template for students of the Functional Programming course, 2024.2, UFRN

    MIT License Updated Oct 8, 2024

  • unicodef-tsouanas Public archive

    input files together with compiled outfiles for unicodef

    Vim Script MIT License Updated Oct 3, 2024

  • thatex Public

    ThaTeX macros for books, lecture notes, and exams

    TeX 1 BSD 3-Clause "New" or "Revised" License Updated Apr 13, 2024

  • notes-on-realizability Public archive

    Forked from andrejbauer/notes-on-realizability

    Lecture notes on realizability

    TeX Updated Jun 17, 2023

  • agda-stdlib Public

    Forked from agda/agda-stdlib

    The Agda standard library

    Agda Other Updated Jan 17, 2022

  • nngtools Public

    tools for teachers and students using nng (Natural Number Game)

    Python 1 Updated Dec 12, 2021

  • leanprover-community.github.io Public

    Forked from leanprover-community/leanprover-community.github.io

    Hosts the website for mathlib and other Lean community infrastructure.

    CSS MIT License Updated Jul 17, 2021

  • cryphoctl Public

    Wrapper around bioctl(8) to control OpenBSD's crypto partitions.

    Shell 2 ISC License Updated Sep 13, 2020

  • vimunicodemath Public archive

    vim inoremaps for unicode math symbols

    Updated Sep 12, 2020

  • cliped Public

    Write to clipboard using your favorite $EDITOR

    Shell ISC License Updated Sep 11, 2020

  • tsoubsd Public archive

    Sysadmin tool for OpenBSD

    Shell 1 BSD 3-Clause "New" or "Revised" License Updated Jun 3, 2020

  • aulabook-fmcmon Public

    Teaching assistants' exercise classes for the FMC courses of IMD

    TeX 4 Other Updated Dec 2, 2019

  • duckdns Public

    script to update duckdns.org records

    Shell Updated May 24, 2019

  • errata-nst Public

    Errata for NST (Notes on Set Theory, 2nd Edition, by Y. N. Moschovakis)

    MIT License Updated Oct 2, 2018

  • aulabook Public

    LaTeX macros and shell scripts for creating AulaBooks

    Updated May 31, 2017

  • tsoutapl Public archive

    Lambda-calculus based systems from Pierce's "Types and Programming Languages" book, implemented in Haskell

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated May 30, 2017

  • lookbusy Public

    Look busy doing nothing. Console screen saver.

    Python 8 BSD 3-Clause "New" or "Revised" License Updated May 30, 2017

  • texlip Public

    (La)TeX language-agnostic literate programming

    Python BSD 3-Clause "New" or "Revised" License Updated May 30, 2017