☆13Oct 18, 2017Updated 9 years ago
Alternatives and similar repositories for anarchy-workshop
Users that are interested in anarchy-workshop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- A WebRTC data channel establishment with QR codes used for signaling channel.☆11Apr 28, 2022Updated 4 years ago
- Library to display IFF/ILBM files within a browser.☆11Sep 9, 2024Updated 2 years ago
- Someday, to be a general genetic programming clj library☆24Mar 1, 2021Updated 5 years ago
- A PowerShell module to set the Windows console properties☆13Oct 31, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- A project for understanding deployment of Clojure apps to the cloud.☆13Nov 11, 2019Updated 6 years ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 years ago
- A mocking library for PowerShell, including dynamic mocks, multiple context levels, and call tracking.☆15Mar 11, 2013Updated 13 years ago
- A framework for making digital instruments with sensors, driven by a need to improve access.☆21Nov 19, 2024Updated last year
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 10 years ago
- [Archived as unmaintained 2023-07-31] InvokeBuild is a great project that has improved my development workflow tremendously. Highly recom…☆13Jun 28, 2026Updated 4 months ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 6 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 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.
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 5 months ago
- Racket implementations of a few web apis☆12Feb 13, 2022Updated 4 years ago
- Javaruntype is a library which offers a runtime objectual representation of the Java type system☆15Sep 2, 2025Updated last year
- ☆11Apr 19, 2019Updated 7 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- Powershell Serious Scripting Guidelines.☆16Sep 13, 2014Updated 12 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 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.
- Google's Java documentation generation tool. Static page generator which uses templates and has the possibility for versioning.☆11Apr 24, 2018Updated 8 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 4 years ago
- A gem REPL version of tryruby.org☆12Nov 3, 2015Updated 11 years ago
- Just a Sample Desktop App Using Avalonia.FuncUI☆13Jan 25, 2020Updated 6 years ago
- Embed Python in Racket!☆12Feb 1, 2022Updated 4 years ago
- A collection of useful procedures divided into modules for Racket.☆12Oct 20, 2023Updated 3 years ago
- a Haskell implementation of Deep Learning frameworks.☆13Mar 29, 2016Updated 10 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 11 years ago
- A command line launcher for Invoke-Build, with a simple NuGet plugin convention for easy distribution of common scripts☆16Mar 2, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆11Oct 9, 2010Updated 16 years ago
- Vim style editor written in Racket☆14May 31, 2020Updated 6 years ago
- Import SRFI metadata into the Scheme API☆11Aug 9, 2026Updated 2 months ago
- A demonstration of STM in Ruby using the Lee benchmark☆11Oct 30, 2020Updated 6 years ago
- Safe transport of unknown record types in distributed systems.☆22Aug 28, 2026Updated 2 months ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- An online playground for Racket.☆13May 11, 2021Updated 5 years ago