thefireskater

Darwin Lo's starred repositories

fusion

A hobby OS implemented in Nim

Language:NimMIT39100

studio

The open source, local-first Webflow alternative. Design directly in your live React site and publish your changes to code.

Language:JavaScriptApache-2.0130700

posthog

🦔 PostHog provides open-source product analytics, session recording, feature flagging and A/B testing that you can self-host.

Language:PythonNOASSERTION1966800

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION285000

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level languages.

Language:AssemblyNOASSERTION243700

advent-of-code-jq

Solving Advent of Code with jq

Language:jq20500

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Language:Jupyter NotebookMIT956800

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION153300