olynch

scientific-fhs

A nixos FHS for julia and conda, and possibly other scientific tools

Catlab.jl

A framework for applied category theory in the Julia language

dotfiles

mode-chart

nalgebra

ez-petri

Garden.jl

An implementation of L-Systems in Julia

HappyLittleTrees.jl

A repo for me to experiment with trees in Julia

Linkage.jl

A library for linkages in Julia

ocaml-forester

pluto-on-binder-for-semagrams

poly

poly-lean

Raylib.jl

Wrapper around raylib for Julia

ASKEM_Evaluation_Staging

autowarmup

background-critters

bunnycdn-cli

An unofficial CLI for the BunnyCDN provider

EasyModelAnalysis.jl

High level functions for analyzing the output of simulations

ForumMagnum

The development repository for LessWrong2 and the EA Forum, based on Vulcan JS

helix

A post-modern modal text editor.

just-latex

nix-arxiv-bundler

A nix-based tool for creating arxiv bundles

nixos-flake-error

A minimum (non)-working example of a bug/confusion I'm having

nixpkgs

Nix Packages collection

nvim_config

An example user configuration with a split up structure

owenlynch.org-builder

pirogov-sinai

Notes for pirogov-sinai presentation

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

WordzOnaPage.jl