Skip to content
View gelisam's full-sized avatar

Organizations

@agda

Block or report gelisam

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

QuasiQuoter transforming raw sql into Squeal expressions.

Haskell 7 1 Updated Nov 1, 2025

a small stub for compiling and linking ispc code with haskell

Haskell 8 Updated Sep 10, 2023

Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and ba…

TypeScript 3,409 150 Updated Jul 27, 2025

generate contextually sensible fuzz tests for servant apps

Haskell 26 6 Updated Oct 7, 2025

Learn to build and deploy AI apps.

Jupyter Notebook 973 77 Updated Jul 12, 2023
Haskell 22 2 Updated Nov 26, 2024

Haskell bindings for the QuickJS library

Haskell 4 Updated Aug 6, 2024

Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema equality checks.

Haskell 43 2 Updated Sep 1, 2025

Research language for array processing in the Haskell/ML family

Haskell 1,650 114 Updated Jan 25, 2025

A command-line benchmarking tool

Rust 26,826 435 Updated Nov 21, 2025

A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

Rust 108 6 Updated Nov 23, 2025

Applicative maps

Haskell 16 2 Updated Sep 29, 2024

Maps using values' monoidal structure during merging

Haskell 42 32 Updated Apr 5, 2025

Newtype wrapper around 'Data.Map.Monoidal.MonoidalMap' that has a correct 'Group' instance.

Haskell 4 1 Updated Jan 14, 2025

Haskell shell scripting

Haskell 424 82 Updated Aug 25, 2025

generate github link from selected lines in vim

Vim Script 66 15 Updated Nov 1, 2024

Composable Concurrent Computation Done Right

Haskell 30 Updated Jan 3, 2023

Become a conflict resolution hero

Haskell 189 8 Updated Feb 6, 2025

CLI tool for Hackage

Haskell 27 10 Updated Sep 1, 2025

self(auto)- documenting encoders and decoders

Haskell 129 24 Updated Nov 21, 2025

Abstract, inspectable JSON representation of Haskell objects

Haskell 26 Updated Jul 4, 2022

Simple Inkscape Scripting

Python 404 35 Updated Oct 28, 2025

A Typeclass for user-facing output

Haskell 57 14 Updated Nov 24, 2025

Minimal implementations for dependent type checking and elaboration

Haskell 742 47 Updated Aug 13, 2025

Resource gathering + programming game

Haskell 896 66 Updated Nov 26, 2025

Forward build system with speculation and caching

Haskell 110 6 Updated Oct 15, 2023

Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html

Python 117 7 Updated Nov 21, 2022

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

Haskell 18 Updated Sep 20, 2021

👓 Profunctor based lightweight implementation of Lenses

Haskell 71 4 Updated May 30, 2023

high-powered optics in a small package

Haskell 53 2 Updated Sep 22, 2025
Next