Downloadable database of german verbs and conjugations as found on wiktionary.org
☆38Apr 21, 2026Updated 6 months ago
Alternatives and similar repositories for german-verbs-database
Users that are interested in german-verbs-database are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains a REST API that distributes German verb conjugations from HTTP requests for the 8000 most common verbs in the la…☆17Dec 26, 2022Updated 3 years ago
- ☆15Oct 23, 2025Updated last year
- Dictionary of German medical terms for LibreOffice/OpenOffice/Android/Word☆13Apr 2, 2022Updated 4 years ago
- Find the gender of a german word so you know what articles to use ( Der, Die, Das , Ein, Eine)☆13Nov 23, 2022Updated 3 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Create a Kindle dictionary from dict.cc data (specifically Norwegian/Bokmål 🇳🇴 -> German 🇩🇪).☆11Oct 31, 2018Updated 7 years ago
- This repository includes all the code and data for the paper ELiDi (End2end Entity Linking and Disambiguation)☆14Jul 18, 2021Updated 5 years ago
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 11 years ago
- Downloads, transforms, and tokenizes German federal laws from XML to structured JSON format for easy access and database integration.☆20Oct 20, 2023Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 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.
- Stardew Valley modding guide for all fellow farmers out there.☆10Dec 12, 2022Updated 3 years ago
- Animated code & data structures with LaTeX/beamer☆14Feb 7, 2020Updated 6 years ago
- Instapaper API wrapper for iOS and Mac OS☆17Feb 21, 2011Updated 15 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- The snake game.☆17Sep 20, 2015Updated 11 years ago
- German extension for write-good☆41Oct 29, 2017Updated 9 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- A Haskell-based Objective-C AST and parsing library☆22Oct 26, 2016Updated 10 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆26Mar 7, 2016Updated 10 years ago
- A Terminal.app for ravynOS☆24Oct 25, 2025Updated last year
- ☆24Oct 2, 2015Updated 11 years ago
- Resources for "One Monad to Prove Them All"☆29Sep 30, 2026Updated last month
- Train YOLO object detection model to find traffic signs in the images. Use OCR pipeline to extract the information from the signs with te…☆13Dec 26, 2020Updated 5 years ago
- Website for the association of linguistics students at the University of Tübingen☆14Oct 17, 2026Updated last week
- Coq code formatter☆27Jun 15, 2026Updated 4 months ago
- The R interface to the Fish Tree of Life☆13Updated this week
- German Diceware Wordlist for Random Passphrases☆38Aug 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- elm-lint lints Elm source code, to add additional guarantees to your project.☆26Sep 30, 2019Updated 7 years ago
- An attempt to clone www.wanikani.com, but for Chinese☆11Feb 2, 2023Updated 3 years ago
- 2d Raymarching in Bevy. Very Basics.☆12Oct 16, 2023Updated 3 years ago
- PyTorch implementation of soft-nms☆32May 23, 2026Updated 5 months ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Aug 21, 2021Updated 5 years ago
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 10 years ago
- Public Issue Only Repository for Issues and Distrobution of Cohmetrix Core Desktop☆12Nov 18, 2024Updated last year