Skip to content
View TeofilC's full-sized avatar
🐁
🐁

Block or report TeofilC

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Starred repositories

Showing results

A tool to verify that your files are in harmony with your .editorconfig

Go 593 62 Updated Dec 17, 2025

Tracking progress towards making the `base` library reinstallable

Haskell 7 Updated Dec 17, 2025

Easy to deploy, open source, postgresql function that provides a prioritized list of actions to take to improve stability and performance.

PLpgSQL 470 5 Updated Nov 29, 2025

Emacs package to get the GitHub/Bitbucket/GitLab/... URL for a buffer location

Emacs Lisp 444 83 Updated Nov 16, 2025

ClickHouse Native protocol driver in Haskell

Haskell 90 6 Updated Dec 18, 2025
Haskell 5 1 Updated Nov 5, 2025

Staged push/pull fusion with typed Template Haskell

Haskell 62 1 Updated Dec 17, 2023

Cabal proposals

7 2 Updated Nov 10, 2025

A NixOS Flake for my NixOS infra! 🌸 (。•̀ᴗ-)✧

Nix 20 Updated Nov 5, 2025

Formal specification of the Haskell Language Report

TeX 29 2 Updated Oct 29, 2025

Inspecting tool for GHC compilation pipeline

Haskell 34 2 Updated Sep 17, 2025

🌸 a minimal css framework/theme.

HTML 4,324 184 Updated Oct 21, 2025

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Go 8,899 466 Updated Dec 18, 2025

A Haskell library for on-disk tables based on LSM-Trees

Haskell 50 9 Updated Dec 19, 2025

Haskell bindings to the Transport For London API

Haskell 3 Updated May 6, 2025

Deployment configuration for Stackage and other HF-managed infrastructure. Central place for Stackage admins.

Nix 8 2 Updated Dec 12, 2025

A Gerrit CLI

Rust 18 3 Updated Jun 23, 2025

Archived, use https://github.com/LucioFranco/jj-spr instead

Rust 62 3 Updated Nov 15, 2025

Continuous benchmarking

Java 19 1 Updated Sep 4, 2025

Command-line sampling profiler for macOS, Linux, and Windows

Rust 3,664 81 Updated Dec 15, 2025

A handy tool for doing efficient in-memory commit rebases & fixups

Python 810 32 Updated Dec 1, 2025

Terraform modules for NixOS and spiritual successor to the terraform-nixos project

HCL 151 15 Updated Apr 11, 2025

A GHC plugin and library for analysing GHC Core

Haskell 54 10 Updated Feb 4, 2025

https://bahn.expert

599 59 Updated Feb 3, 2025

Flake template for Haskell repository

Nix 38 2 Updated Oct 1, 2024

A git-worktree(1) manager

Rust 37 3 Updated Nov 17, 2025

build-once run-anywhere c library

C 20,278 729 Updated Dec 2, 2025

Repository of the Haskell Blog

JavaScript 12 9 Updated Nov 30, 2025

Compile-time QDSL for SQL queries in Haskell

Haskell 2 Updated Dec 16, 2024

Dump the declarations of Haskell modules

Haskell 18 6 Updated Dec 15, 2025
Next