Walk inside curved spaces
☆15Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for curved
Users that are interested in curved are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Software XY oscilloscope written in pure Rust, intended as an audio visualizer☆17Aug 10, 2024Updated last year
- tiny spectral synthesizer☆20Mar 26, 2020Updated 6 years ago
- A simple and pure win32 Snake game, without any compressor trickery, just under 2,953 bytes!☆15Aug 1, 2025Updated 7 months ago
- A programming language that compiles to Lua.☆10Feb 4, 2024Updated 2 years ago
- In-Browser Jupyter Notebook Alternative for Javascript REPL without Nodejs Kernel☆12Jun 26, 2023Updated 2 years ago
- 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.
- (Hopefully) a compiler for my first language named "Pie"☆25Mar 13, 2026Updated 2 weeks ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- My Agda blog/lab/playground☆12Mar 20, 2026Updated last week
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Red-Teaming TempleOS.☆17Jul 29, 2022Updated 3 years ago
- D programming language syntax highlighting file for GNU nano editor☆12Nov 24, 2020Updated 5 years ago
- meta-c a meta-langauge☆10Mar 21, 2026Updated last week
- ☆13Jul 8, 2024Updated last year
- ☆15Oct 18, 2025Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A programming language for transpiled libraries.☆14Jul 8, 2025Updated 8 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- I created this No escape Malware!☆18Aug 30, 2021Updated 4 years ago
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 14 years ago
- Continuous Buffer☆17May 8, 2025Updated 10 months ago
- D bindings for libgccjit.so☆22Jul 19, 2018Updated 7 years ago
- The Modrunner monorepo.☆15Oct 10, 2025Updated 5 months ago
- Run and compile time reflection for D☆10Jul 28, 2025Updated 8 months ago
- ☆15Oct 31, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆19Jul 25, 2018Updated 7 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- Evie.☆11Aug 7, 2024Updated last year
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- WGPU based 2D game engine made on stream☆12Apr 11, 2023Updated 2 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Dec 6, 2025Updated 3 months ago
- ☆13Sep 14, 2023Updated 2 years ago
- A toy ELF parser/validator☆15Dec 18, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Rust traits for nonzero generic integers☆17May 24, 2022Updated 3 years ago
- WebAssembly runtime for D☆19Jan 12, 2021Updated 5 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- wine for 9☆16Oct 29, 2022Updated 3 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆11Mar 31, 2024Updated last year
- A backup copy of the ShowHiddenChannels plugin for BetterDiscord☆19Sep 7, 2022Updated 3 years ago
- Minecraft mod that adds glass stairs and glass slabs. They look great in any build and connect seamlessly with vanilla glass blocks.☆21Updated this week