carnotweat Goto Github PK

rust-esp-nix

Nix files for development on the esp32 in rust using the esp-idf framework

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

sbe

Accompanying source code for technical report "Hereditary Substitution by Canonical Evaluation (SbE)".

schmutz

SCHeMe UnterstüTZung — easy Guile Scheme C++ bindings

session-ocaml

An implementation of binary session types in OCaml

sfuzz

High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques

simple-async-local-executor

A single-threaded polling-based Rust async executor suitable for use in games, embedded systems or WASM.

sirea

Simply Reactive! Declarative orchestration in Haskell using RDP

skyflake

NixOS Hyperconverged Infrastructure on Nomad/NixOS

smlproject

MS Project

sott

Simplified Observational Type Theory

spire

The Spire Programming Language

splv20

SPLV20 course notes

sst-tutorial

stage0

A set of minimal dependency bootstrap binaries

stumpwm

symmetric-interaction-calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

system-f-omega

System F-omega normalization by hereditary substitution in Agda

tagless

oleg modules

tandoori

Compositional type checking for Haskell

tasket-on-nix

Recently fell for tasker

termux

threadx

ThreadX

tikzamples

Some examples for latex tikz/pgf

tilt-compiler

Standard ML compiler based on typed intermediate languages.

tokio-socks5

socks5 server using tokio-rs async/await

trivial-signal-example

This is a demo of TRIVIAL-SIGNAL Common Lisp library usage

tsnsrv

A reverse proxy that exposes services on your tailnet (as their own tailscale participants)

twist.nix

Build an entire Emacs configuration as a Nix package in a pure, reproducible way

type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker