Skip to content
View olynch's full-sized avatar
Block or Report

Block or report olynch

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Category-theoretic, collaborative modeling

Rust 7 Updated Jul 28, 2024

The Flix Programming Language

Scala 2,107 149 Updated Jul 27, 2024
TypeScript 37 Updated Nov 1, 2023
JavaScript 14 Updated Jun 9, 2024

Github repository for compositional category theory reading group

OCaml 4 1 Updated Jun 25, 2024
TeX 10 4 Updated Jun 25, 2024

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 42,586 2,268 Updated Jul 28, 2024

Automatic validation contexts

Julia 18 Updated Aug 27, 2020

Because there weren't enough of these packages already

Julia 11 Updated Feb 24, 2023

AllocCheck

Julia 209 8 Updated Jul 11, 2024

AllocCheck

Julia 1 Updated Nov 18, 2023

Toolkit for Scala Development

Scala 490 39 Updated Jul 22, 2024

A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.

TeX 19 Updated May 1, 2021

Picking and pointer events for Bevy.

Rust 741 165 Updated Jul 25, 2024

Irmin is a distributed database that follows the same design principles as Git

OCaml 1,816 154 Updated Jul 25, 2024

Scientific computing in Lean 4

Lean 255 18 Updated Jul 25, 2024

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…

Julia 1,390 200 Updated Jul 28, 2024

A graphical editor for graph-like structures

Scala 92 10 Updated Dec 18, 2023

Lightning-fast and Powerful Code Editor written in Rust

Rust 33,915 1,006 Updated Jul 28, 2024

Simple, expressive, and safe UI library for Scala.js

Scala 737 48 Updated Jul 25, 2024

An FP game engine for Scala.

Scala 615 56 Updated Jul 14, 2024

Web mail of your own

Elixir 125 6 Updated May 9, 2024

Relational Algebra, now with more algebra!

Julia 47 3 Updated Oct 31, 2023

Building dynamical systems compositionally

Jupyter Notebook 63 13 Updated Jul 1, 2024

Simplicial sets and other combinatorial models of geometric spaces

Julia 27 4 Updated Jul 25, 2024

Build Petri net models compositionally

Julia 74 20 Updated Jul 12, 2024

A declarative, efficient, and flexible JavaScript library for building user interfaces.

TypeScript 31,773 899 Updated Jul 25, 2024

Text based MMORPG engine written in Elixir

Elixir 664 76 Updated Feb 14, 2023

A world builder's toolkit in Elixir

Elixir 169 9 Updated Jul 8, 2024
Next