newton-migosi

imgui

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

comprehensive-rust

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

iced

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

focalboard

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

ratatui

Rust library that's all about cooking up terminal user interfaces (TUIs) 👨‍🍳🐀

closure-compiler

A JavaScript checker and optimizer.

koka

Koka language compiler and interpreter

insect

High precision scientific calculator with support for physical units

redb

An embedded key-value database in pure Rust

unit

Next Generation Visual Programming System

learn-tt

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

orange

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).

category-theory-resources

Resources for learning Category Theory for an enthusiast

awesome-haskell

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

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

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.

MicroHs

Haskell implemented with combinators

inpla

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

HaRe

The Haskell Refactoring Tool

nixops-tutorial

Tutorial for practical deployments with NixOps

ops-examples

A repository of basic and advanced examples using Ops

carpitan

Power to the People

readonlylink

Readonly links, for your read only.

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 :)

typed-protocols

Session types framework with support of protocol pipelining.

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

nix-ada

A collection of Nix expressions for common Ada libraries and applications

devops-labs-with-nix

data-science-public

Official curriculum and calendar for the Zindua Data Science programs