Pinned Repositories
2024.2-fun
Files created during and used by my classes of the Functional Programming course, for the semester 2024.2, UFRN.
aulabook-fmcmon
Teaching assistants' exercise classes for the FMC courses of IMD
cliped
Write to clipboard using your favorite $EDITOR
cryphoctl
Wrapper around bioctl(8) to control OpenBSD's crypto partitions.
fmcbook
Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
lookbusy
Look busy doing nothing. Console screen saver.
nngtools
tools for teachers and students using nng (Natural Number Game)
thatex
ThaTeX macros for books, lecture notes, and exams
tsoubsd
Sysadmin tool for OpenBSD
unicodef
unicode sequence definitions for X, vim, etc.
tsouanas's Repositories
tsouanas/fmcbook
Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
tsouanas/lookbusy
Look busy doing nothing. Console screen saver.
tsouanas/unicodef
unicode sequence definitions for X, vim, etc.
tsouanas/aulabook-fmcmon
Teaching assistants' exercise classes for the FMC courses of IMD
tsouanas/2024.2-fun
Files created during and used by my classes of the Functional Programming course, for the semester 2024.2, UFRN.
tsouanas/cryphoctl
Wrapper around bioctl(8) to control OpenBSD's crypto partitions.
tsouanas/nngtools
tools for teachers and students using nng (Natural Number Game)
tsouanas/thatex
ThaTeX macros for books, lecture notes, and exams
tsouanas/tsoubsd
Sysadmin tool for OpenBSD
tsouanas/tsoutapl
Lambda-calculus based systems from Pierce's "Types and Programming Languages" book, implemented in Haskell
tsouanas/cliped
Write to clipboard using your favorite $EDITOR
tsouanas/2024.2-fmc1-student
template for students of the FMC1 course, 2024.2, UFRN
tsouanas/2024.2-fun-student
template for students of the Functional Programming course, 2024.2, UFRN
tsouanas/agda-stdlib
The Agda standard library
tsouanas/aulabook
LaTeX macros and shell scripts for creating AulaBooks
tsouanas/duckdns
script to update duckdns.org records
tsouanas/errata-nst
Errata for NST (Notes on Set Theory, 2nd Edition, by Y. N. Moschovakis)
tsouanas/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
tsouanas/notes-on-realizability
Lecture notes on realizability
tsouanas/texlip
(La)TeX language-agnostic literate programming
tsouanas/unicodef-thatex
mostly ΘάTeX-influenced defs for unicodef; compiled output files included
tsouanas/unicodef-tsouanas
input files together with compiled outfiles for unicodef
tsouanas/vimunicodemath
vim inoremaps for unicode math symbols