Practical Alloy
☆12Feb 28, 2025Updated last year
Alternatives and similar repositories for practicalalloy.github.io
Users that are interested in practicalalloy.github.io are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 28, 2025Updated last year
- A script to convert Snap packages to portable AppImages☆15Oct 19, 2024Updated 2 years ago
- Shopping cart example in Elm☆12Feb 11, 2020Updated 6 years ago
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated last week
- 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.
- Website for Security and Privacy of Machine Learning☆14Dec 27, 2021Updated 4 years ago
- Nushell command for opening Jujutsu PRs with GitHub☆11Apr 12, 2025Updated last year
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- Companion repo for Agentic Graph RAG (O'Reilly, Anthony Alcaraz & Sam Julien) — 50 runnable skills + 8 pedagogical notebooks covering all…☆25Jul 12, 2026Updated 3 months ago
- Essential utilities, refined for Scala 3 with minimal dependencies☆17Updated this week
- 関数型まつり2025公式サイト☆16Dec 30, 2025Updated 9 months ago
- ☆10Nov 23, 2017Updated 8 years ago
- Omni, stitcher, GCF sample aggregate manager, and other GENI tools.☆12Dec 12, 2022Updated 3 years ago
- WIP OpenBSD ports repository. Based on the public git conversion mirror of OpenBSD's official cvs ports repository.☆12Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A menubar application with a rich UI.☆11Aug 13, 2018Updated 8 years ago
- React Native Triple State Switch☆15Nov 6, 2017Updated 8 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 11 months ago
- A Xtext based SystemRDL editor with syntax highlighting and context sensitive help☆12Feb 9, 2024Updated 2 years ago
- ☆16Oct 2, 2023Updated 3 years ago
- Tools used to publish the HTML specifications☆21Mar 11, 2019Updated 7 years ago
- Build scripts for the server☆13Updated this week
- SSH server for LXD containers☆12Apr 30, 2021Updated 5 years ago
- Convert MathML documents to SVG images☆18Jul 2, 2017Updated 9 years 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.
- NixOS & Flakesについて詳しくなりたいですよね? 初心者向けチュートリアルを探してますか? 今すぐアクセス!☆24Feb 10, 2026Updated 8 months ago
- ARCHIVED: Planning for the documentation that covers the AsciiDoc syntax, the Asciidoctor processor, and various projects in the Asciido…☆14Nov 3, 2018Updated 7 years ago
- Fast, fearless, and fully verifiable ONNX runtime in Rust 🚀⚡🦀☆21Sep 19, 2026Updated last month
- My notes, links and resources for Cubiio 2 Laser Cutter/Engraver☆15Jan 1, 2021Updated 5 years ago
- Adversarial Robustness for Code☆16Mar 30, 2021Updated 5 years ago
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago
- A document repository for the CWE AI Working Group, a forum for CWE™ and CVE® community stakeholders to identify and address gaps in the …☆16Sep 8, 2026Updated last month
- Builds and deploys a demo Node.js application to your Synology NAS using Docker and Docker-compose.☆13Dec 11, 2022Updated 3 years ago
- A semantic HTML diffing module for node.js.☆12Dec 30, 2022Updated 3 years 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.
- Do notation in Python.☆10Feb 22, 2021Updated 5 years ago
- ☆21May 18, 2026Updated 5 months ago
- CSS Figures☆22May 3, 2021Updated 5 years ago
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- A simple Streamlit application to visualize document chunks and queries in embedding space 🗺️🔍☆14Apr 15, 2025Updated last year
- A Scala-friendly interface to log against the Log4j API☆23Jan 22, 2026Updated 9 months ago
- Support for --remote and friends, actively maintained https://github.com/mhinz/neovim-remote☆13Oct 14, 2026Updated last week