SCKelemen

96BoardsGPIO

A library to make GPIO use across 96Boards uniform

awesome-esolangs

Curated list of awesome Esoteric languages and resources

birb

broker

A broker system between a public service and a private service

casm

Cbc

COIN-OR Branch-and-Cut solver

cel-go

Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)

codespaces-test

cue

Validate and define text-based and dynamic configuration

dex-lang

Research language for array processing in the Haskell/ML family

flips

Fsharp LInear Programming System

foam

A personal knowledge management and sharing system for VSCode

fzf

:cherry_blossom: A command-line fuzzy finder

go-diagrams

Create beautiful system diagrams with Go

govariant

Variant data type for Go

hacker-scripts

Based on a true story

HyperTag

File organization made for humans

killedbygoogle

Part guillotine, part graveyard for Google's doomed apps, services, and hardware.

klister

an implementation of stuck macros

learn

links-lang.github.io

Links webpage, static content

lisp

Toy Lisp 1.5 interpreter

open-smartwatch-os

The Open-Smartwatch Operating System.

optics

Optics as an abstract interface

or-tools

Google's Operations Research tools:

pql

recursion-example

website

Source code for website.

z3

The Z3 Theorem Prover

zio-saga

Purely Functional Transaction Management In Scala With ZIO