The research papers I have published (Daniel M German)
☆26Apr 10, 2019Updated 7 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal BASH framework☆15Feb 12, 2024Updated 2 years ago
- As defined in Lubotzky, Philips and Sarnak☆11Oct 25, 2022Updated 4 years ago
- Code Continuity Analysis Framework☆22Mar 3, 2025Updated last year
- ☆13Updated this week
- My study notes and hands-on projects for CUDA-based GPU programming☆13Sep 27, 2026Updated last month
- 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.
- ☆16Nov 9, 2017Updated 8 years ago
- ☆35Jun 4, 2018Updated 8 years ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 6 months ago
- Program Gallery☆21Feb 5, 2026Updated 8 months ago
- ☆45Aug 21, 2018Updated 8 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 6 years ago
- ☆10Oct 29, 2018Updated 8 years ago
- Logic Minimization in Python☆26Mar 25, 2026Updated 7 months ago
- Remote attestation for the safeboot system☆11Mar 10, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Named Entity Recognition Tool☆16Dec 16, 2018Updated 7 years ago
- INACTIVE - http://mzl.la/ghe-archive - clang plugin to get the function prototypes in C/C++☆13Mar 30, 2019Updated 7 years ago
- Minimal internet radio player for macOS and iOS☆10Feb 23, 2019Updated 7 years ago
- repository for questions that are asked (or you want answered!) during storytelling sessions☆13Sep 7, 2025Updated last year
- Learning Coccinelle☆11Nov 2, 2017Updated 8 years ago
- Source of Feitian OpenSK USB Dongle help docs.☆11Jul 5, 2022Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- macOS syscall performance benchmark☆17Jan 9, 2018Updated 8 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/ with patches for yubikey support☆10Aug 14, 2020Updated 6 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.
- Ice segment plugin for Bluge☆12Jul 4, 2022Updated 4 years ago
- An APK parsing tool and library for Go☆15Nov 9, 2023Updated 2 years ago
- Coins: Research on Bitcoin Scalability and Usability☆15Jul 21, 2023Updated 3 years ago
- Extended features of network_tools for flutter framework.☆15Oct 17, 2026Updated last week
- Sample code for a serverless transcoding of audio files using SOX, AWS SQS and Lambda☆10Oct 21, 2016Updated 10 years ago
- A collection of useful scripts☆10May 30, 2024Updated 2 years ago
- Overview of telecommunication standards and technologies for internet access☆16May 18, 2024Updated 2 years ago
- Automata theory in Lean☆24Mar 25, 2026Updated 7 months ago
- Yuca: A light-weight, in-memory, fast and simple to use search engine library.☆12Apr 3, 2019Updated 7 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.
- Code for manipulating flashmap (fmap) data structure used in ChromiumOS☆10Dec 11, 2019Updated 6 years ago
- A set of supplementary data for the yet-to-be-published Medium post☆17Nov 13, 2017Updated 8 years ago
- View recent highly-rated albums in the terminal☆11Mar 20, 2023Updated 3 years ago
- ☆23Jun 12, 2023Updated 3 years ago
- Gnu Radio working stereo FM transmitter and receiver example (GNU Radio Companion flow graph)☆14Jun 14, 2011Updated 15 years ago
- common types used by mostro and clients☆12Oct 7, 2026Updated 3 weeks ago
- ☆20Nov 6, 2019Updated 6 years ago