A rule-based machine translation system from Ottoman Turkish to Modern Turkish.
☆23Jul 8, 2020Updated 5 years ago
Alternatives and similar repositories for dilacar
Users that are interested in dilacar are comparing it to the libraries listed below
Sorting:
- A web service to take screenshots☆21Jan 4, 2015Updated 11 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- A Garmin watch face with blood glucose monitoring☆11Jun 16, 2025Updated 8 months ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- La plateforme derrière nous le peuple. Fork de Pligg.☆10Sep 29, 2015Updated 10 years ago
- My OpenCode and Oh-My-OpenCode configuration files with API proxy setup documentation☆32Jan 5, 2026Updated 2 months ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- Library for extracting fields from Sigtran TCAP/INAP messages☆11Feb 17, 2026Updated 2 weeks ago
- Super simple, zero config options, <2kb declarative tooltip library with no dependencies.☆17Jun 2, 2023Updated 2 years ago
- A Rock Garden☆15Dec 5, 2011Updated 14 years ago
- Comment analytics tool for YouTube videos☆11May 2, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- An archive of the lisp-hug maillist.☆10Mar 27, 2023Updated 2 years ago
- 📍- Small window.location library☆10Apr 11, 2018Updated 7 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- convert subtitles to raw text☆10Nov 23, 2016Updated 9 years ago
- finite-state toolkit☆12May 5, 2017Updated 8 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- ☆11Jun 24, 2021Updated 4 years ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Morfessor EM+Prune☆10Jul 22, 2020Updated 5 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- ASDF extension to provide support for file-local variables☆10Jan 5, 2024Updated 2 years ago
- ☆12Mar 26, 2020Updated 5 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- "you are your dotfiles"☆11Oct 10, 2025Updated 4 months ago
- Chainable styling library for React.☆21Feb 8, 2026Updated 3 weeks ago
- An OSINT tool to find data leaks on a targeted website☆17Mar 30, 2021Updated 4 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆16Jun 9, 2024Updated last year
- Library and examples to interface a HPGL plotter such as HP7550a to processing.☆10Jan 15, 2015Updated 11 years ago
- All the worlds currencies.☆13May 29, 2022Updated 3 years ago
- A Modular Audio Synthesizer Engine implemented in Common Lisp☆10Jun 20, 2025Updated 8 months ago
- CLOG Plugin for Plotly.js☆12Oct 10, 2024Updated last year
- ☆12Nov 5, 2024Updated last year
- S-expressions parser in the Go programming language☆20Jun 20, 2013Updated 12 years ago