Diff/AST: A fine-grained source code differencing tool
☆25Jun 27, 2026Updated 4 months ago
Alternatives and similar repositories for diffast
Users that are interested in diffast are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated 2 years ago
- List of distributions that can be bootstrapped from source☆17Oct 23, 2026Updated last week
- Pure OCaml implementation of libXdiff (Rabin's fingerprint)☆21Nov 26, 2024Updated last year
- OCaml bindings for libpg_query☆22Jan 6, 2025Updated last year
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- 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.
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- ☆12Oct 18, 2026Updated last week
- popen2() - bidirectional popen()☆16Feb 1, 2018Updated 8 years ago
- My Blog☆18Oct 17, 2026Updated last week
- OCaml bindings for Wasmer☆34Oct 1, 2022Updated 4 years ago
- ffms2 bindings☆13Sep 15, 2026Updated last month
- ☆13Dec 19, 2025Updated 10 months ago
- Tkinter Console Widget Class☆11Dec 25, 2017Updated 8 years ago
- ☆10Jan 11, 2019Updated 7 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.
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated 2 weeks ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- Experimental benchmarking infrastructure using OCurrent pipelines☆30Oct 13, 2026Updated 2 weeks ago
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- Plan 9 programs ported to OCaml https://aryx.github.io/xix☆44Oct 23, 2026Updated last week
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- Notes and slides from my Encodings talk at RubyConf Brasil 2010☆13Nov 1, 2010Updated 15 years ago
- An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This …☆12Feb 11, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- ☆11Aug 24, 2021Updated 5 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated 2 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- a shared CRDT key-value map for Yjs using a "last-write-wins" algorithm for conflict resolution☆14Mar 4, 2026Updated 7 months ago
- Lazy Hacker Editor. Because nothing beats the eficiency of writing code already written. This is that kind of editor. Just for real hacke…☆10Dec 28, 2024Updated last year
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//☆13Nov 15, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Validate and patch AV1 levels☆15Jun 23, 2026Updated 4 months ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- A wireframe renderer written in OCaml☆21Oct 18, 2023Updated 3 years ago
- Database migrations for Reason and OCaml☆34Nov 15, 2022Updated 3 years ago
- An SSH agent written in Rust with more security features and sandboxing☆21Aug 31, 2025Updated last year
- Idris Version Manager☆17Feb 23, 2025Updated last year
- Node.js N-API wrapper for libtorch☆19Mar 22, 2020Updated 6 years ago