8000 TeofilC (Teo Camarasu) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

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

Starred repositories

Showing results

A NixOS Flake for my NixOS setups like Azalea and Cedarix! 🌸 (。•̀ᴗ-)✧

Nix 21 Updated May 15, 2025

Formal specification of the Haskell Language Report

Lean 17 2 Updated Jul 8, 2025

Inspecting tool for GHC compilation pipeline

Haskell 35 2 Updated Oct 5, 2023

🌸 a minimal css framework/theme.

HTML 4,254 185 Updated Jun 24, 2025

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

Go 8,521 452 Updated Jul 8, 2025

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

Haskell 44 9 Updated Jul 8, 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 Jul 9, 2025

A Gerrit CLI

Rust 18 2 Updated Jun 23, 2025

Fork of spacedentist/spr with support for Jujutsu (jj) and commit signing

Rust 46 3 Updated Nov 28, 2024

Continuous benchmarking

Java 18 1 Updated Jun 20, 2025

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

Rust 3,186 70 Updated Jul 7, 2025

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

Python 781 32 Updated May 9, 2025

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

HCL 147 13 Updated Apr 11, 2025

A GHC plugin and library for analysing GHC Core

Haskell 54 10 Updated Feb 4, 2025

https://bahn.expert

562 56 Updated Feb 3, 2025

Flake template for Haskell repository

Nix 37 2 Updated Oct 1, 2024

A git-worktree(1) manager

Rust 22 1 Updated Nov 18, 2024

build-once run-anywhere c library

C 19,537 691 Updated May 21, 2025

Repository of the Haskell Blog

JavaScript 10 8 Updated Apr 15, 2025

Compile-time QDSL for SQL queries in Haskell

Haskell 2 Updated Dec 16, 2024

Dump the declarations of Haskell modules

Haskell 16 4 Updated Mar 5, 2025

an implementation of stuck macros

Haskell 144 11 Updated Jun 30, 2025

Easy to use generic haskell bitfields

Haskell 3 Updated Aug 12, 2024

GHC plugin to add eventlog tracing for foreign function calls

Haskell 16 Updated Jan 14, 2025

Coerce between unlifted boxed and lifted types

Haskell 6 5 Updated Mar 10, 2025

📝 A markup-aware linter for prose built with speed and extensibility in mind.

Go 4,874 170 Updated Jun 29, 2025

Detect non-inclusive language in your source code.

Go 491 61 Updated May 7, 2024

A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

Haskell 57 1 Updated Jun 26, 2025

Jade's Nix libraries

Nix 10 Updated Mar 31, 2023
Next
0