suzanne.soy

pkg-memoir-2017

0 0

Example for a question on the Racket mailing list. Not much to see.

Updated 2025-03-25 00:31:26 +00:00

pkg-implementation-2017

0 0

Example for a question on the Racket mailing list. Not much to see.

Updated 2025-03-25 00:31:05 +00:00

phc-ts

Racket 0 0

compilers racket-library type-system

Updated 2025-03-25 00:30:52 +00:00

phc-toolkit

Racket 0 0

Racket toolkit used for the phc project. Unstable.

racket-library toolkit

Updated 2025-03-25 00:30:34 +00:00

phc-seminar

TeX 0 0

Slides for a seminar that I will give about the work done during the course of my Ph.D

Updated 2025-03-25 00:29:52 +00:00

phc-graph

Graph manipulation library in Typed/Racket

racket racket-library

Updated 2025-03-25 00:29:37 +00:00

phc-adt

Racket 0 0

Algebraic Datatypes for Typed/Racket, with some special features useful for writing compilers

algebraic-data-types racket-library

Updated 2025-03-25 00:29:20 +00:00

pasterack

Racket 0 0

The Racket pastebin.

Updated 2025-03-25 00:28:59 +00:00

paper-craft

SVG 0 0

Templates for the Silhouette Portrait cutter. Licence CC0. Double-check the paper and template size before cutting a template! Look in the Final/ folder for ready-to-cut templates (might still have a couple of issues)

freecad freecad-macro freecad-macros

Updated 2025-03-25 00:28:45 +00:00

nixpkgs

Nix 0 0

Nix Packages collection

Updated 2025-03-25 00:26:10 +00:00

pagraphcontrol

JavaScript 0 0

PulseAudio Graph Control

Updated 2025-03-25 00:25:33 +00:00

os-test-framework-deploy-artifacts

0 0

This repository contains artifacts created by Travis-Ci for the repository travis-os

Updated 2025-03-25 00:25:21 +00:00

os-deploy-artifacts

0 0

Artifacts for repository https://github.com/jsmaniac/os

Updated 2025-03-25 00:24:18 +00:00

os

Shell 0 0

Project for a document-oriented system

Updated 2025-03-25 00:24:05 +00:00

nixGL

Nix 0 0

A wrapper tool for nix OpenGL application

Updated 2025-03-25 00:20:33 +00:00