Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Kokkos C++ Performance Portability Programming Ecosystem: Math Kernels - Provides BLAS, Sparse BLAS and Graph Kernels

A playground for working on advanced data structures in Haskell

A project trying to solve the logging dilemma for modern B+-tree indexing built atop the novel storage device with transparent compression.

Logic programming in Rust

Lightweight SMB2/3 Server implemented in go

Implementation of "A Lineage-Based Referencing DSL for Computer-Aided Design", PLDI 2023

Simple MPL-2.0-licensed C++ geometry processing library.

This is the header-only version of the code we used for the experiments in the paper "Fast and Robust Mesh Arrangements using Floating-point Arithmetic" by G. Cherchi, M. Livesu, R. Scateni and M. …

Self-hostable Bambu Cloud alternative

Implementation of Nougat Neural Optical Understanding for Academic Documents

A language for modular probabilistic modelling in Haskell based on effect handlers

A language for modular probabilistic modelling + inference in Haskell based on effect handlers

High quality system independent, portable, open source libm implementation

Structured Outputs

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

STEPcode (formerly NIST's STEP Class Library) is used with IFC, STEP, and other standards that utilize the technologies of ISO10303 (STEP). It generates C++ and Python from EXPRESS (10303-11) schem…

A collection of 3D reconstruction papers in the deep learning era.

A curated list of resources on implicit neural representations.

High Temperature Voron V0 for PEI, PEEK ...

egraphs + datalog!

my latex templates etc

Bayesian co-estimation of phylogenies and multiple alignments via MCMC

Emanate a structured view of your plain-text notes

Voron Community mods, slicer profiles and firmware configurations.

Voron 3D printer mods, remixes and designs.