Setonas Programming Language
☆25Jan 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
- Yearbirder is a desktop app to help birders analyze, visualize and map their personal eBird sightings and, optionally, their bird photogr…☆14Updated this week
- Desktop Sanskrit-English Dictionary☆13Jul 7, 2020Updated 6 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated last year
- Server shop plugin for the latest Minecraft version☆13Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 3 years ago
- ☆12May 14, 2023Updated 3 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 7 years ago
- Putting eBird on the decentralized web☆11Jan 7, 2023Updated 3 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- Big content mod with tiny potatos☆10Dec 23, 2021Updated 4 years ago
- Dashchan video player libraries☆12Nov 23, 2020Updated 5 years ago
- A tool that mutes/unmutes winamp depending on whether the radio would play in GTA☆11Oct 23, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- a cleanroom implementation of the minecraft b1.7.3 server!☆12Feb 10, 2026Updated 8 months ago
- An Installer for Fabric. For the vanilla launcher☆12Dec 25, 2025Updated 9 months ago
- A WebAssembly-based plugin API for Minecraft servers☆11Mar 4, 2021Updated 5 years ago
- Unfinished C++ Minecraft Server implementation for 1.3.2☆16Nov 13, 2020Updated 5 years ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Heap server-side API client for Ruby☆16Oct 16, 2019Updated 7 years ago
- ☆21Oct 5, 2026Updated last week
- (Revived!) Legacy model viewer for OGF format from S.T.A.L.K.E.R. Shadow of Chernobyl☆14May 11, 2026Updated 5 months ago
- A simple tag plugin with RGB Support and without bloat.☆17Sep 28, 2026Updated 2 weeks 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.
- Advanced censorship plugin for minecraft servers☆12Jun 27, 2026Updated 3 months ago
- Fabric port of some NoCheatPlus & AntiCheatReloaded checks, additional GolfIV stuff and more.☆15Dec 7, 2022Updated 3 years ago
- check the engines of any running searx instances☆22Apr 16, 2020Updated 6 years ago
- YouTube Annotation Archive☆17Feb 20, 2019Updated 7 years ago
- Server for VoxelSrv - Voxel browser game inspired by Minecraft☆12May 30, 2021Updated 5 years ago
- Exploring the deepest depths of forking☆12Jul 1, 2020Updated 6 years ago
- A GUI-based spawner plugin that generates items and experience without spawning mobs☆20Updated this week
- RetroShare Client for Android☆17Sep 7, 2013Updated 13 years ago
- A mod for the original Deus Ex☆13Jul 15, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Nov 20, 2019Updated 6 years ago
- Various efforts in understanding the concepts in Purely Functional Data Structures - Okasaki 1998☆16Mar 31, 2010Updated 16 years ago
- Changes the searching of features to be asynchronous to mitigate associated lag☆16Nov 30, 2023Updated 2 years ago
- Collection of memory patches for Soldier of Fortune 2 (probably not going to be finished).☆16Sep 28, 2019Updated 7 years ago
- Test repo for sharing code snippets and learning about git☆15Oct 3, 2026Updated 2 weeks ago
- CIS 6700, Spring 2023☆19Feb 15, 2023Updated 3 years ago
- A Spigot/Bukkit plugin that adds a leveling system to tools, swords, and bows. https://discord.gg/G8BDgqsuyw☆15Oct 10, 2026Updated last week