Elastic Tabstop expander for the CLI
☆13Nov 6, 2015Updated 10 years ago
Alternatives and similar repositories for etst
Users that are interested in etst are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- utilities for getting info about displays☆13Apr 6, 2020Updated 6 years ago
- ☆11Sep 16, 2020Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- ☆43Jul 26, 2015Updated 10 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 10 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.
- ☆11Sep 29, 2022Updated 3 years ago
- ☆16Feb 27, 2026Updated 2 months ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Oct 12, 2018Updated 7 years ago
- S-Lua, S-expressions and Macros for Lua☆29Apr 26, 2017Updated 9 years ago
- Combining the power of Nix, Guile & Elm to install NixOS☆15Dec 11, 2017Updated 8 years ago
- Lowtalk, a new Smalltalk dialect to replace Slang☆39Jun 15, 2019Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Feb 9, 2021Updated 5 years ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Apr 19, 2019Updated 7 years ago
- An OCaml bindings generator for JavaScript libraries☆44Jul 26, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 11 years ago
- FastStack is dynamically resizable data structure optimized for fast iteration over the large arrays of similar elements avoiding memory …☆14Aug 19, 2016Updated 9 years ago
- Deferred Renddering engine in C++/DX11☆17Apr 21, 2013Updated 13 years ago
- An R7RS implementation of Scheme written in Go☆15Apr 25, 2018Updated 8 years ago
- mDNS DNS-SD hybrid-proxy☆28May 22, 2020Updated 5 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- A small and simple R5RS Scheme Implementation☆12Feb 14, 2026Updated 2 months ago
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 6 years ago
- ☆10Feb 23, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆14Dec 28, 2024Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated last month
- Illustrating how to solve the Riemann problem for conservation laws☆10Apr 25, 2018Updated 8 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- fast float to string algorithm.☆29Updated this week
- Collection of algorithms in Computational Geometry.☆18Oct 13, 2017Updated 8 years ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 7 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆47Mar 29, 2012Updated 14 years ago
- A Clang/LLVM add-on to enforce coding rules☆34Nov 15, 2013Updated 12 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.
- React-like virtual rendering implementations in different programming Languages.☆13Oct 13, 2016Updated 9 years ago
- A backwards-compatible, modern replacement for the Prelude.☆22Jan 20, 2017Updated 9 years ago
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆21Apr 23, 2026Updated 2 weeks ago
- Free Lossless Voxel Compression (FLVC)☆25Mar 19, 2021Updated 5 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 5 months ago
- A C++ REPL for IDA Pro / IDA C++ SDK☆91Mar 26, 2026Updated last month