Skip to content
View nyimbi's full-sized avatar
  • Datacraft
  • Nairobi

Block or report nyimbi

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

13 stars written in Haskell
Clear filter

REST API for any Postgres database

Haskell 23,484 1,032 Updated Nov 21, 2024

A friendly programming language from the future

Haskell 5,812 271 Updated Nov 27, 2024

Functional Programming Course

Haskell 4,117 1,193 Updated Nov 21, 2024

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Haskell 4,088 729 Updated Oct 3, 2024

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Haskell 3,070 320 Updated Nov 21, 2024

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Haskell 2,689 158 Updated Aug 6, 2019

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,519 359 Updated Nov 27, 2024

lamdu - towards the next generation IDE

Haskell 1,852 71 Updated Oct 22, 2024

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Haskell 1,803 154 Updated Sep 9, 2024

a small .pdf management tool with a command-line UI

Haskell 737 24 Updated Jun 11, 2022

A multi-syntax functional programming language that compiles to WebAssembly.

Haskell 620 13 Updated Aug 4, 2021

Grammatical Framework core: compiler, shell & runtimes

Haskell 131 35 Updated Nov 26, 2024

Express parametrable, composable and portable data pipelines

Haskell 89 11 Updated Apr 6, 2022