Monadic let-bindings

Implementations for PLAI and PAPL concepts

Opinionated, zero-config linter for JavaScript monorepos

A type-safe typescript SQL query builder

My opinionated template for a npm library repo

My NixOS configuration flake that moggs yours in term of eval times

Nix installers for legacy distributions (rpm & deb & pacman) [maintainer=@adisbladis]

Nix, the purely functional package manager

Build full-stack Next.js apps, incredibly fast

The information manager from London

Install and Run Python Applications in Isolated Environments

Bitcoin Core integration/staging tree

Production-ready, Light, Flexible and Extensible ASGI API framework | Effortlessly Build Performant APIs

A tool for Northeastern students to both submit reviews of their co-ops and filter through reviews of co-ops left by other students.

Source Code for 'Pro C# 10 with .NET 6' by Andrew Troelsen and Phil Japikse

Inference code for Llama models

The best way to start a full-stack, typesafe Next.js app

Empowering everyone to build reliable and efficient software.

⭐️ Companies that don't have a broken hiring process

🐻 Bear necessities for state management in React

The open source Firebase alternative. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

A simple express app with prisma, postgreSQL, etc.

A web app for Northeastern faculty and merit committee to log and appraise their extra-curricular activities.

Useful Northeastern resources and links; a Student Hub alternative

The Pyret language.

🍺 The missing package manager for macOS (or Linux)

Lean 4 programming language and theorem prover

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

RGB keyboard control for Asus ROG laptops

An interpreter for pseudo-assembly as defined in the Computer Science Coursebook for Cambridge International AS & A Level, second edition, by Langfield & Duddell.