newton-migosi

inspection-testing

Inspection Testing for Haskell

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

ops-examples

A repository of basic and advanced examples using Ops

carpitan

Power to the People

MicroHs

Haskell implemented with combinators

inet-js

This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)

readonlylink

Readonly links, for your read only.

unit

Next Generation Visual Programming System

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

WebGui

An example demo of IMGUI (Immediate Mode GUI) on the web. Using only WebGL, GLFW and ImGui. Suitable for being compiled to web assembly (WASM).

nixops-tutorial

Tutorial for practical deployments with NixOps

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

orange

HaRe

The Haskell Refactoring Tool

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

koka

Koka language compiler and interpreter

redb

An embedded key-value database in pure Rust

typed-protocols

Session types framework with support of protocol pipelining.

ratatui

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

iced

A cross-platform GUI library for Rust, inspired by Elm

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

inpla

Inpla: Interaction nets as a programming language (the current version)

insect

High precision scientific calculator with support for physical units

devops-labs-with-nix

category-theory-resources

Resources for learning Category Theory for an enthusiast

Shpadoinkle

This is the OFFICIAL MIRROR of the project. It is kept automatically up to date. Source of truth here: https://gitlab.com/fresheyeball/Shpadoinkle/-/tree/master

awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.

closure-compiler

A JavaScript checker and optimizer.

foss-fund

The Microsoft FOSS Fund provides a direct way for Microsoft engineers to participate in the nomination and selection process to help communities and projects they are passionate about. The FOSS Fund provides sponsorships to open source projects as selected by Microsoft employees.

focalboard

Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.