Minify CSS files through refactoring
☆259Mar 18, 2024Updated 2 years ago
Alternatives and similar repositories for sat-css-tool
Users that are interested in sat-css-tool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fast combinations calculation in jax☆40Jul 12, 2024Updated 2 years ago
- automatically detect and classify notes from a piano sound recording, using NNs☆10Jul 28, 2019Updated 7 years ago
- Cryptanalysis of the Enigma machine in Rust.☆127Apr 21, 2021Updated 5 years ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 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.
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆156Jun 22, 2025Updated last year
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- World's smallest readable 3x4 font with lowercase; includes all ASCII symbols☆606Jun 20, 2025Updated last year
- A modern supercompiler for call-by-value functional languages☆479Dec 5, 2025Updated 11 months ago
- HNSW implementation in Rust. Reference: https://arxiv.org/ftp/arxiv/papers/1603/1603.09320.pdf☆248Nov 18, 2024Updated last year
- Auction Theory Toolbox – Computer Verified Auctions☆15Jul 12, 2016Updated 10 years ago
- Transductive regular expressions☆258Sep 4, 2026Updated 2 months ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆44Jul 29, 2023Updated 3 years ago
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Easy bindings between Lean and Python.☆37Oct 31, 2026Updated last week
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆49Feb 12, 2025Updated last year
- A functional, content-addressable programming language.☆466Aug 8, 2025Updated last year
- A CSS layout engine☆1,364Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆71Nov 17, 2025Updated 11 months ago
- A cuter ActivityPub server☆13Jan 30, 2020Updated 6 years ago
- High-Performance Klong array language in Python.☆316Oct 4, 2026Updated last month
- Algebraic enhancements for GEMM & AI accelerators☆297Feb 28, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Mar 14, 2024Updated 2 years ago
- Grow virtual creatures in static and physics simulated environments.☆52Mar 20, 2024Updated 2 years ago
- library learning w egraphs☆32May 31, 2023Updated 3 years ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆377Oct 31, 2026Updated last week
- A highly experimental vi-inspired editor where you edit code, not text.☆770Feb 4, 2025Updated last year
- A template for you to implement Hazelnut yourself☆24Apr 24, 2026Updated 6 months ago
- Fast equality saturation in Haskell☆99Mar 9, 2026Updated 7 months ago
- Mystery Languages☆50Sep 8, 2026Updated last month
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆509Apr 9, 2024Updated 2 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- Manifest manifold models with magical machinations.☆37Oct 26, 2025Updated last year
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- User-configurable login shell configured by the SHELLS environment variable.☆26Jun 7, 2025Updated last year
- Piping logs, visualising on a web app – just suffix "| npx logscreen"☆450Mar 12, 2024Updated 2 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago