Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

Vim Inspired Electron Browser - Vim bindings for the web by design

Simple, beautiful CLI output

A reactive notebook for Haskell

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

jupyter / jupyterlite kernel for Haskell powered by WebAssembly

Type-safe event sourcing system for Haskell

Emacs mode for viewing log files

Semantic highlighting for Emacs Lisp

My haskell-mode configuration for Emacs

My .emacs.el file and other personal Emacs goodies

A command-line benchmarking tool

A beautiful inline overlay for Emacs (Flycheck | Flymake)

A library for producing terminal plots.

A collection of opinionated keyboard-driven user interfaces for various built-in Emacs modes.

A compiler for language "memento"

Full-stack DDD workshop ScalaDays 2025

Repository that explores the possibilities of Scala 3 features of opaque types and inline for type refinement.

This is my Undergraduate University Honours Project and dissertation.

A smarter cd command. Supports all major shells.

🍨 Soothing pastel theme for Neovim

🍄 Soothing pastel theme for Emacs

The official repository of the Scala Macros and Metaprogramming course on Rock the JVM

Haskell library for writing Discord bots

A nicer interface for query-replace on Emacs

The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.