Basilisk was a Python LSP and VSIX. It has been delisted from every channel until we have rebuilt it to only include trustworthy components

A menagerie of cute implementations of modern typechecking algorithms

A Haskell blog

Language Server for Lambdananas

Roo Code gives you a whole dev team of AI agents in your code editor.

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments

Extensions for Python Markdown

EasyMDE: A simple, beautiful, and embeddable JavaScript Markdown editor. Delightful editing for beginners and experts alike. Features built-in autosaving and spell checking.

In-browser Markdown editor

F# Vim plugin based on FsAutoComplete and LSP protocol

A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.

Thin F# wrapper around Npgsql, the PostgreSQL database driver for .NET

Open Source realtime backend in 1 file

A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites

A native functional ASP.NET Core web framework for F# developers.

An actually minimal VSCode LSP extension demo

I'm trying to update the Real World Haskell book

HTTP load generator, ApacheBench (ab) replacement

KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.

Clojure Desktop UI framework

Implementations of various type systems in OCaml.

A modern proof language

CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)

Programming Languages Zoo

Source files for the book "NixOS in Production"

An embeddable code editor for the browser 🍯

A book about compiling Racket and Python to x86-64 assembly