Skip to content
View theobat's full-sized avatar
  • France, Marseille

Block or report theobat

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
Showing results

An implementation of Python's doctest for Haskell

Haskell 392 76 Updated Dec 16, 2025

Copy a Postgres database to a target Postgres server (pg_dump | pg_restore on steroids)

C 1,395 100 Updated Apr 28, 2025

A Container Image packing the Docker CLI plus the AWS CLI.

Dockerfile 14 6 Updated Dec 19, 2025
Haskell 38 6 Updated Oct 20, 2025

Scripts to build your own IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2

Shell 27,136 6,506 Updated Nov 15, 2025

Bindings to libsodium for Haskell

Haskell 37 17 Updated Dec 15, 2025

A Typeclass for user-facing output

Haskell 57 14 Updated Dec 15, 2025

TypeScript Language Service Plugin for GraphQL developers

TypeScript 751 27 Updated Dec 20, 2025

🦥 Be lazy, write simple tests in comments.

TypeScript 337 4 Updated Aug 12, 2021

Official Haskell IDE support via the language server protocol (LSP)

Haskell 2,868 414 Updated Dec 18, 2025

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

Haskell 301 143 Updated Oct 26, 2025

Haskell client library for the ROS robotics framework.

Haskell 110 17 Updated Nov 18, 2016

User defined type-level bounded integral and textual types

Haskell 5 Updated Dec 27, 2020

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

TypeScript 80,373 4,925 Updated Dec 20, 2025

Simple, composable, and easy-to-use stream I/O for Haskell

Haskell 100 34 Updated Mar 24, 2025

Use jsx-like syntax in Reflex

Haskell 50 7 Updated Feb 22, 2018

A really small example of the Backpack module system for Haskell

Haskell 59 3 Updated Dec 9, 2025

A visual Haskell

Haskell 730 15 Updated Mar 20, 2022

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Haskell 510 29 Updated Jul 4, 2025

Bootstrapping ATS3

ATS 236 21 Updated Dec 21, 2025

GHC Whole Program Compiler and External STG IR tooling

Haskell 120 14 Updated Oct 24, 2025

datatypes and functions for easily working with passwords in Haskell

Haskell 59 16 Updated Oct 7, 2025

Create and animate sprites easily with sdl2 (Haskell)

Haskell 24 Updated May 12, 2018

pretty-printer for Haskell data types that have a Show instance

Haskell 253 30 Updated Oct 12, 2025

Haskell Snake clone.

Haskell 35 1 Updated Apr 29, 2012

A file path matching library

Haskell 8 2 Updated Feb 2, 2025

Integers bounded by a closed interval

Haskell 14 Updated Dec 15, 2025

A total map

Haskell 5 1 Updated Sep 13, 2019

Dependently-typed finite maps (partial dependent products)

Haskell 66 32 Updated Oct 19, 2025

Benchmarks for sequence data structures: lists, vectors, etc.

Haskell 90 10 Updated Jan 19, 2022
Next