Teo Camarasu teo · they/he
1 follower · 0 following

  • Hi, I'm teo

    You might be interested in some of my other profiles:

  • Joined on 2022-04-19
Repositories
12
 Projects Packages Public activity Starred repositories
1
Filter
Sort
ghc-eventlog-loopback
Haskell 0 0
Updated 2025-12-21 21:38:58 +01:00
wherefrom-compat
Haskell 0 2
Provides a set of stable interfaces to GHC's info table provenance API
Updated 2025-12-19 11:10:22 +01:00
shortstraw
Haskell 0 0
Updated 2025-12-15 19:02:46 +01:00
informal.codes
TeX 0 0
My blog
Updated 2025-10-25 19:19:20 +02:00
cabal-head-nix
Nix 0 0
Updated 2024-12-03 05:45:43 +01:00
COrdering
Haskell 0 0
A fork of the COrdering package https://hackage.haskell.org/package/COrdering
Updated 2024-12-03 05:20:19 +01:00
regeq
Haskell 0 0
Find whether two regular expressions are equivalent
Updated 2024-12-03 05:20:18 +01:00
euler
Haskell 0 0
My Project Euler solutions written in Haskell
Updated 2024-12-03 05:20:18 +01:00
AvlTree
Haskell 0 0
A fork of the haskell AvlTree package (https://hackage.haskell.org/package/AvlTree-4.2)
Updated 2024-12-03 05:20:18 +01:00
omegaboard
HTML 0 0
A small collaborative whiteboard for working with first order logic.
Updated 2024-12-03 05:20:17 +01:00
constructibility
Haskell 0 0
A small Haskell library for computing the next term in the constructibility sequence
Updated 2024-12-03 05:20:16 +01:00
blog
CSS 0 0
Updated 2024-06-24 19:04:38 +02:00