Setonas Programming Language
☆26Jan 18, 2021Updated 5 years ago
Alternatives and similar repositories for setonas
Users that are interested in setonas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 9 months ago
- Server shop plugin for the latest Minecraft version☆11Apr 28, 2026Updated last week
- A Fabric mod for Minecraft that adds waystones - a new way of transportation, that let you teleport from one discovered waystone to anoth…☆11Aug 4, 2023Updated 2 years ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 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.
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Dashchan video player libraries☆11Nov 23, 2020Updated 5 years ago
- Big content mod with tiny potatos☆10Dec 23, 2021Updated 4 years ago
- A script to set wallpapers just how I like them☆11Mar 23, 2024Updated 2 years ago
- 4chan image downloader -- GUI & console☆10Jan 30, 2019Updated 7 years ago
- An Installer for Fabric. For the vanilla launcher☆12Dec 25, 2025Updated 4 months ago
- Python program to download pictures from multiple imageboard threads like 4chan, 420chan or 7chan.☆16Nov 8, 2014Updated 11 years ago
- A WebAssembly-based plugin API for Minecraft servers☆11Mar 4, 2021Updated 5 years ago
- Retroshare GUI implementation in QML☆19Jul 8, 2014Updated 11 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.
- Heap server-side API client for Ruby☆16Oct 16, 2019Updated 6 years ago
- Uses 4chan API to download thread images and/or thumbnails, along with thread HTML and JSON, to create a complete archive.☆11Apr 12, 2013Updated 13 years ago
- Legacy model viewer for OGF format from S.T.A.L.K.E.R. Shadow of Chernobyl☆14Updated this week
- A Grand Theft Auto San Andreas Mod that make pickups glow (mainly adds them beautiful coronas), just like in Vice City and Liberty City S…☆16May 2, 2023Updated 3 years ago
- Advanced censorship plugin for minecraft servers☆12Apr 9, 2025Updated last year
- A simple tag plugin with RGB Support and without bloat.☆16Apr 28, 2026Updated last week
- Fabric port of some NoCheatPlus & AntiCheatReloaded checks, additional GolfIV stuff and more.☆15Dec 7, 2022Updated 3 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- Server for VoxelSrv - Voxel browser game inspired by Minecraft☆12May 30, 2021Updated 4 years ago
- 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.
- a ~ring for tilde.town☆14Sep 3, 2019Updated 6 years ago
- Multiplayer fixes for F.E.A.R.☆18Jan 24, 2026Updated 3 months ago
- Collection of memory patches for Soldier of Fortune 2 (probably not going to be finished).☆15Sep 28, 2019Updated 6 years ago
- Bonzi Buddy can do /anything/.☆15Jul 11, 2020Updated 5 years ago
- A fix for the Log4J2 JNDI bug for all applicable MC versions☆18Dec 10, 2021Updated 4 years ago
- Test repo for sharing code snippets and learning about git☆15Mar 17, 2026Updated last month
- ☆15Nov 20, 2019Updated 6 years ago
- Changes the searching of features to be asynchronous to mitigate associated lag☆16Nov 30, 2023Updated 2 years ago
- Graded Dependent Type systems☆25Jun 28, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆18Apr 5, 2026Updated last month
- Parse and stringify URL query strings☆13Aug 1, 2018Updated 7 years ago
- Profitable is a trading simulation plugin for minecraft.☆25Nov 19, 2025Updated 5 months ago
- Low-level simple MCPE (v.0.6.1) server framework for Minecraft Pi Edition.☆15Feb 23, 2021Updated 5 years ago
- 99 Problems in OCaml☆22Feb 23, 2016Updated 10 years ago
- ☆17Sep 25, 2020Updated 5 years ago
- HexaCord is a fork of BungeeCord that is used to link several servers to where you can change what server you are on in as simple as runn…☆16Mar 15, 2017Updated 9 years ago