High performance, regular, shape polymorphic parallel arrays.

Tensors and neural networks in Haskell

Interpreter of the ITGL with dynamic type inference

Interpreter of the ITGL with dynamic type inference

Haskell to JavaScript compiler, based on GHC

Fast equality saturation in Haskell

Generic functions for single-sorted first-order structural unification

A simple LLM client for Emacs

lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋

Create PixiJS apps with Svelte

Rhai - An embedded scripting language for Rust.

hpack: A modern format for Haskell packages

The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…

Vehicle Signal Specification - standardized way to describe automotive data

Prettier is an opinionated code formatter.

Minor mode to format JS code on file save

Emacs major mode for Svelte.

A command-line benchmarking tool

A svelte component to create a CodeMirror 6+ editor

a structural diff that understands syntax 🟥🟩

The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.

Borgo is a statically typed language that compiles to Go.

Tagref helps you manage cross-references in your code.

Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.

Supplemental materials for the book entitled "Practical ML Programming with SML#"

A UI made in Pyside6 to make training LoRA/LoCon and other LoRA type models in sd-scripts easy

Verified Rust for low-level systems code

Tensors and Dynamic neural networks in Python with strong GPU acceleration

LibTorch builds for the M1 Macs