olynch

zed

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

lapce

Lightning-fast and Powerful Code Editor written in Rust

solid

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

DifferentialEquations.jl

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

irmin

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

ModelingToolkit.jl

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 and automated transformations of differential equations

Laminar

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

bevy_mod_picking

Picking and pointer events for Bevy.

ex_venture

Text based MMORPG engine written in Elixir

indigo

An FP game engine for Scala.

kyo

Toolkit for Scala Development

StatisticalRethinking.jl

Julia package with selected functions in the R package `rethinking`. Used in the SR2... projects.

SciLean

Scientific computing in Lean 4

AllocCheck.jl

AllocCheck

kalevala

A world builder's toolkit in Elixir

liv

Web mail of your own

Symbolics.jl

A symbolic math library written in Julia modelled off scmutils

Semagrams.jl

A graphical editor for graph-like structures

AlgebraicPetri.jl

Build Petri net models compositionally

AlgebraicDynamics.jl

Building dynamical systems compositionally

AlgebraicRelations.jl

Relational Algebra, now with more algebra!

DynamicalSystemsBook

CombinatorialSpaces.jl

Simplicial sets and other combinatorial models of geometric spaces

monadoptics

Profunctor optics for the endofunctor category on Hask

Spec.jl

Automatic validation contexts

latex-dieudonne

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

SimpleUnderscores.jl

Because there weren't enough of these packages already

forest

cct-reading-group

Github repository for compositional category theory reading group

AllocCheck.jl

AllocCheck