A curated list of awesome GitHub Blocks resources.
☆19Nov 30, 2022Updated 3 years ago
Alternatives and similar repositories for awesome-github-blocks
Users that are interested in awesome-github-blocks 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 tool for converting GitHub's Octicons into an icon font for VS Code☆14Jul 16, 2020Updated 5 years ago
- TypeScript Geometric Algebra Generator☆19Feb 1, 2024Updated 2 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆32Oct 3, 2025Updated 6 months ago
- ☆12Feb 4, 2024Updated 2 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.
- Take control of your core.async go loops!☆16Sep 7, 2025Updated 7 months ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆10Jun 27, 2025Updated 10 months ago
- F# interactive service API exposed via a lightweight HTTP server☆13Mar 6, 2018Updated 8 years ago
- ☆15Jul 21, 2023Updated 2 years ago
- A tool for facilitating the redlining of documents with the GitHub uninitiated☆30Jan 18, 2023Updated 3 years ago
- Transform git histories between tree-like and linear forms☆29May 23, 2020Updated 5 years ago
- React ECharts for ClojureScript☆13Oct 27, 2021Updated 4 years ago
- An example of how to integrate a Datomic query group into a service with Terraform☆11Dec 24, 2019Updated 6 years ago
- ☆12Aug 21, 2021Updated 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.
- Experimental Concept for an Elmish Hot Reloading Bolero setup☆14Sep 21, 2019Updated 6 years ago
- Awesome Geometric Algebra☆30Jul 11, 2020Updated 5 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 3 years ago
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆22Feb 18, 2026Updated 2 months ago
- A book about observability in practice☆18Feb 25, 2023Updated 3 years ago
- This is a codelab that teaches how to write a nice editorjs tool (plugin) using react.☆11Dec 15, 2020Updated 5 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Sage Mode for F# development — REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.☆62Updated this week
- Official Clojure client for the Sight API.☆14Mar 26, 2021Updated 5 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.
- Clojure library for creating (dev) namespaces of proxy vars☆18Jul 29, 2018Updated 7 years ago
- Documentation and blog site for Pathom 3☆16Jan 26, 2026Updated 3 months ago
- A sample verifier for a toy language built on top of Boogie☆25Nov 24, 2022Updated 3 years ago
- types for various combinatory systems, especialy tree calculi☆27Jan 23, 2025Updated last year
- Phone numbers as data: validate, inspect, search, generate.☆18Mar 2, 2026Updated last month
- Extension to highlight bad characters such as No-break space ( ) and the Greek question mark (;) in your source files.☆36Nov 12, 2021Updated 4 years ago
- ☆10Mar 22, 2020Updated 6 years ago
- ☆24Apr 20, 2026Updated last week
- A WebExtension to send links to your future self☆34Mar 27, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Handles the installation of packages in non-native formats such as RPM and DEB.☆10Jan 11, 2021Updated 5 years ago
- 👋 Documentation, notes, drafts, and information.☆11Feb 27, 2019Updated 7 years ago
- GitHub Action workflow to tests breakage of Julia packages on pull requests☆11Mar 20, 2021Updated 5 years ago
- Repository pattern with POCO object support for storing to Azure / Cosmos DB Table Storage☆27Apr 23, 2026Updated last week
- About void and absence of information☆19Mar 25, 2021Updated 5 years ago
- Perlin noise generated terrain in Clojure☆18May 26, 2020Updated 5 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago