Blazing ⚡️ fast (La)TeX compiler + IDE written in Rust (HackCMU 2026 Winner)
☆82Oct 18, 2026Updated this week
Alternatives and similar repositories for flashtex
Users that are interested in flashtex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆74Aug 7, 2026Updated 2 months ago
- [CVPR 2026 Findings] ELSA: Exact Linear-Scan Attention for Fast and Memory-Light Vision Transformers☆23Jun 17, 2026Updated 4 months ago
- KaryoScope: rapid, alignment-free sequence annotation for the pangenome era☆28Sep 14, 2026Updated last month
- Python based toolbox for processing motion data☆12Jun 23, 2026Updated 3 months ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Aug 21, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 years ago
- python package - Read c3d file☆12Nov 26, 2023Updated 2 years ago
- Experiments for the spectral neuron paper☆23Sep 5, 2026Updated last month
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- WhatBattery: battery health and live power for your Mac, iPhone, and iPad. Open-source mirror.☆43Updated this week
- A PBT framework☆10Jul 19, 2025Updated last year
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- POWER-KI programming language for Intelligent Applications (IA)☆17Aug 13, 2026Updated 2 months ago
- Tydi: an open specification for complex data structures over hardware streams☆16Mar 14, 2023Updated 3 years ago
- Notebooks and other course materials for Emory QTM 340 (Fall 2022)☆12Dec 13, 2022Updated 3 years ago
- SAM4Dcap: Training-free Biomechanical Twin System from Monocular Video☆41Feb 17, 2026Updated 8 months ago
- C3D file visualizer on Google Colab☆11Nov 21, 2025Updated 10 months ago
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Updated this week
- A RISC-V TestRIG Verification Engine based on QuickCheck☆12Oct 5, 2026Updated last week
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Jul 10, 2026Updated 3 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/☆11Jan 8, 2012Updated 14 years ago
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- A framework for correctly implementing stateful microservice applications on serverless using standard Python.☆13Jan 5, 2023Updated 3 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- ☆15Oct 24, 2023Updated 2 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Coinductive Interaction Trees in Lean4 using QPFs☆20Updated this week
- Benchmark of common hash functions☆10Sep 15, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- I accidentally built an HTML templating engine in Julia☆11Apr 6, 2022Updated 4 years ago
- Full-circle image roll estimation with calibrated abstention. Open weights, Apache-2.0. By ORTUS AI, the team behind CHEQIT.☆58Oct 7, 2026Updated last week
- A Lean-embedded framework to verify Verilog modules☆16Oct 6, 2026Updated last week
- smplify code for point cloud based HMR☆10Jan 11, 2022Updated 4 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- ☆10Feb 2, 2023Updated 3 years ago
- Neuro-JEPA: Learning Sparse Latent Predictive Foundation Model for Multimodal Neuroimaging☆71Sep 16, 2026Updated last month