☆27Nov 10, 2018Updated 7 years ago
Alternatives and similar repositories for article-extractor
Users that are interested in article-extractor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Google Universial Analytics Measurement Protocol Implementation for Java☆11May 29, 2013Updated 13 years ago
- ☆12Apr 11, 2016Updated 10 years ago
- K League Community Web Application☆22Nov 13, 2023Updated 2 years ago
- Tiny O/R mapper for Java☆31Mar 31, 2023Updated 3 years ago
- Transcribe audio to text, watch folders to auto transcribe audio☆12Feb 20, 2023Updated 3 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.
- The Protocol Analyzer is a small tool that can catch, analyze and decode “slow” pulse based protocols.☆32Dec 27, 2017Updated 8 years ago
- ☆15Mar 18, 2023Updated 3 years ago
- Deprecated. Use https://github.com/bevry/github-api☆10Nov 2, 2019Updated 6 years ago
- A Fly Edge Application for combining a bunch of different backends under one hostname☆20Jun 14, 2018Updated 8 years ago
- Middleware for picking REST API HTTP status code☆35Feb 14, 2019Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Fork of https://github.com/ptmt/react-native-macos with more features☆22Aug 3, 2023Updated 2 years ago
- This content gallery loads content progressively using AJAX and uses CSS3 transitions for animation and positioning. The optional web ser…☆13May 7, 2024Updated 2 years ago
- An advanced DNS stub with Freedom, Privacy and Security --- THRICE UPON A TIME☆21Jun 7, 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.
- ☆12Oct 3, 2020Updated 5 years ago
- Docker gunicorn server base image source☆11Oct 12, 2014Updated 11 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- dokku-registry☆30Aug 10, 2016Updated 9 years ago
- A keyword search extension for Safari☆23Jan 16, 2020Updated 6 years ago
- fast unique variables☆10Aug 23, 2025Updated 11 months ago
- Real time chat App demonstarting using socket.io along with node.js cluster/ mutiple servers☆11Jul 20, 2018Updated 8 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- A library for generating RSS 2.0 feeds.☆18Jan 6, 2026Updated 6 months 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.
- Identity value☆10Apr 27, 2022Updated 4 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 4 years ago
- A representation of latitude and longitude☆15Nov 25, 2019Updated 6 years ago
- We are building a distributed supercomputer made of smartphones, tablets and virtual machines, turning mobile devices into decentralized …☆20Jun 19, 2014Updated 12 years ago
- Pinpoint(https://github.com/naver/pinpoint) profiler plugin sample☆69Jun 4, 2021Updated 5 years ago
- A fonticulously fast font builder☆13May 20, 2022Updated 4 years ago
- CLI tool to help you automatically add Co-authored-by trailers to git commits during pair/mob programming☆17Feb 1, 2026Updated 5 months ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- 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.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Octagon Variable — a project at the HAW/Finkenau in Hamburg as part of the first year type design introduction class under the guidance o…☆11Apr 27, 2023Updated 3 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated last year