fdilke

code-server

VS Code in the browser

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

influential-cs-books

Most influential books on Computer Science/programming

Carp

A statically typed lisp, without a GC, for real-time applications.

perf-book

The Rust Performance Book

delta-rs

A native Rust library for Delta Lake, with bindings into Python

unreal-rust

Rust integration for Unreal Engine 5

snakeware

A free Linux distro with a Python-based userspace

tabletop-club

An open-source platform for playing tabletop games in a physics-based 3D environment for Windows, macOS, and Linux! Made with the Godot Engine.

napkin

An Infinitely Large Napkin

jansi

Jansi is a small java library that allows you to use ANSI escape sequences to format your console output which works even on windows.

Data-Engineering-Books

gopro-dashboard-overlay

Programs to process GoPro MP4 & Generic GPX/FIT files and create video dashboards & maps

scala-3-migration-guide

The Scala 3 migration guide for everyone.

roadmap

This is the public roadmap for Salesforce Heroku services.

Fault

a language for building system dynamic models

Starlight.jl

A greedy game engine for greedy programmers!

rustyroguelike

Following along with the /r/roguelikedev tutorial session, in Rust and implementing my own library as well!

ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

cljs-spa-example

A demo Single Page Application written in ClojureScript

scala-reflection

Scala 3 run-time reflection library

todo

awesome-double-categories

A list of works and resources about double category theory, with a particular focus on applications.

trout-demo

Trout and code sharing in PureScript

ready-lisp

A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X

hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)

hxl

Pure batching for Scala

scala-sideeffects-examples

A pragmatic & testable approach to work with side-effect code in scala

racket-salty-crypto

libsodium and libb2 bindings for Racket, plus an implementation of the Noise Protocol Framework

monoid-gen

Generate the free idempotent monoid for 3 letters