GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.
☆15Aug 4, 2026Updated 3 months ago
Alternatives and similar repositories for contents
Users that are interested in contents are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.☆21Jun 26, 2026Updated 4 months ago
- Implementation examples for clerk's orgs functionality☆14Oct 20, 2026Updated 2 weeks ago
- Ruby code performance benchmarking and statistical analysis tool☆12Jan 16, 2012Updated 14 years ago
- Easily add DSL accessors to any class without bothering to mess with the gory details of their implementation☆14Jun 5, 2009Updated 17 years ago
- RubyLexer is a hyper-correct lexer library for Ruby, written in Ruby.☆14Aug 11, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Convert numbers into and out of any base in Ruby; avoid ambiguous characters like 1, l, and I!☆14Sep 10, 2014Updated 12 years ago
- Uploads Glitch food and drink icons as custom emoji to a Slack team☆11Nov 2, 2017Updated 9 years ago
- Obsolete gem - use https://github.com/spreedly/spreedly-gem instead☆13Oct 23, 2019Updated 7 years ago
- Rudimentary Redis over HTTP(S)☆13Jan 6, 2011Updated 15 years ago
- Transaction::Simple for Ruby☆19Aug 26, 2012Updated 14 years ago
- Core cryptographic code to allow encrypted query operations☆16Apr 27, 2024Updated 2 years ago
- Fly Static Sites in the Cloud☆17Dec 14, 2010Updated 15 years ago
- A lightweight library for creating and verifying ALTCHA challenges.☆17Oct 4, 2026Updated last month
- Define your Ruby 3 Rack apps in plain-text.☆20Updated this week
- 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.
- NOTE: abandoned experiment -- Asynchronous PErsistence of Ruby Objects☆18Aug 28, 2009Updated 17 years ago
- ARC scoring code for various common self report measures☆17Nov 10, 2022Updated 3 years ago
- Gato Prompt Language (GPL): A system for generating focused instructions and short-form outputs.☆21Oct 1, 2024Updated 2 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year
- Ruby library for the Gearman distributed job system☆18Apr 2, 2009Updated 17 years ago
- A Hubot adapter for Keybase bot development☆11Mar 26, 2024Updated 2 years ago
- Visegrad+ Parliament API. Access to parliament data of Visegrad+ countries in a common data standard.☆11May 17, 2016Updated 10 years ago
- Ruby tests that read like documentation.☆19Updated this week
- GitHub star history graph☆13Sep 29, 2026Updated last month
- 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.
- ☆10Oct 11, 2022Updated 4 years ago
- Teaching materials for the cusy training courses on Python-based data science workflows: https://cusy.io/en/our-training-courses/index.ht…☆21Updated this week
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- A pair of GitHub Actions to help deploy AWS Lambda functions with aws-cli☆10Dec 2, 2018Updated 7 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- A many party audio and video meeting and decision making platform that's secure, open source, P2P, and a little bit trippy.☆12May 30, 2017Updated 9 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Official Repository of Surprising Anecdotes for AI Finds a Way☆15Aug 27, 2026Updated 2 months ago
- Source for the community blog☆11Oct 26, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An intelligent agent that adaptively changes its thought processes to maximize cumulative reward☆13Feb 19, 2017Updated 9 years ago
- Montreal.rb website source☆16Dec 1, 2010Updated 15 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Midium is a Web MIDI API wrapper and framwork for composing generative music☆11Jun 26, 2016Updated 10 years ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆10May 1, 2026Updated 6 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆11Dec 1, 2023Updated 2 years ago