superfunc

maybe

An Exception-Free Optional Type for Nim

usda-syntax

Syntax Highlighting for usda(http://openusd.org) files in vim, emacs & sublime.

tp

Strongly Typed Paths for Idris

similar_kanji_game

I was bored

mk-software-foundations

(doc)ker build for offline edition of "Software Foundations"

playdate_snippets

usdkit

Swift Bindings for USD

npuv

No Python Usdview

perf

My Explorations Around Performance

awesome-usd

Awesome projects related to Pixar's Universal Scene Description

bb

maybe dependent types

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

compiler-explorer-image

Setup for Amazon EC2 image to run a gcc explorer

dhall-haskell

A configuration language guaranteed to terminate

dhallkit

coming soon, hopefully

dune

A composable build system for OCaml

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

MoonTools.ECS

A very simple ECS system for C#

Nim

Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in the order of priority).

opaque_typedef

Opaque Typedef for C++, Single Header

perf-ninja

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

reicast-emulator

Reicast is a multiplatform Sega Dreamcast emulator

squeaky

c++ sanitizer output aggregation thing

superfunc.github.io

blog

swift

The Swift Programming Language

talks

USD

Universal Scene Description

usdview-native

Workalike for usdview for those who want to avoid Qt and Python

Wellspring

An immediate mode font rendering system in C.