Aglona Reader for .NET - A program for reading, creating and editing parallel books (books in two languages) in the original ParallelBook format
☆28Feb 19, 2022Updated 4 years ago
Alternatives and similar repositories for Aglona-Reader
Users that are interested in Aglona-Reader are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Genealogy Tools☆15Jan 7, 2021Updated 5 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years 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.
- ☆13Nov 23, 2019Updated 6 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- Undo send and schedule emails in mu4e☆12Apr 15, 2016Updated 10 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- Поиск людей из прошлого☆27Feb 17, 2021Updated 5 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- DKLang Translation Editor☆16Jun 23, 2026Updated 2 months ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- Template for the Lemur4Bitwig Script☆11Jun 18, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 7 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆19Jan 1, 2016Updated 10 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Online first-person shooter using Castle Game Engine and RNL☆10Jun 22, 2026Updated 2 months ago
- A demo vault for theological studies with Obsidian (O_O 2022 winner !)☆16Nov 12, 2022Updated 3 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Haskino Examples☆22Apr 22, 2022Updated 4 years ago
- Correctness of normalization-by-evaluation for STLC☆24Oct 1, 2019Updated 6 years ago
- SAPUI5 HANA XS Examples☆11Dec 12, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Cairo header binding for the Free Pascal Compiler aka FPC☆13Feb 15, 2019Updated 7 years ago
- autocomplete for auctex☆24Feb 23, 2014Updated 12 years ago
- Firmware for the LILYGO T-Deck Keyboard☆10Dec 6, 2023Updated 2 years ago
- PWM frequency multiplier for display backlight☆10Sep 19, 2022Updated 3 years ago
- Enhanced report from https://blogs.sap.com/2018/09/19/code-search-in-modifications-and-enhancements/☆12Apr 4, 2021Updated 5 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Mutable and immutable persistent maps and sets as hash array mapped trie (HAMT) for FreePascal☆18Apr 25, 2020Updated 6 years ago
- VSCode Extension to display text as BPMN diagramm by using https://www.bpmn-sketch-miner.ai☆16Jun 1, 2026Updated 2 months 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.
- Simple Async Framework☆10Dec 15, 2020Updated 5 years ago
- Track your SAP Fiori launchpad apps☆12Updated this week
- A wizard to create Arduino loadable module (.hex) using Lazarus/Free Pascal☆16Feb 28, 2016Updated 10 years ago
- ☆18Jan 8, 2023Updated 3 years ago
- DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell☆22Mar 13, 2014Updated 12 years ago
- Legacy: Community contributions to NLog☆17Aug 31, 2015Updated 11 years ago
- Formalizations of strong normalization proofs☆35Jul 8, 2019Updated 7 years ago