A generic Either type implementation for Rust
☆14Jan 4, 2023Updated 3 years ago
Alternatives and similar repositories for elor
Users that are interested in elor are comparing it to the libraries listed below
Sorting:
- a short guide on how to use iohub when using Tobii Eye Trackers with PsychoPy Builder.☆11Jun 11, 2020Updated 5 years ago
- ☆17Jan 3, 2025Updated last year
- Yet another pdf-mode for Emacs☆11Jun 7, 2021Updated 4 years ago
- Succeeded by syntaxdot-transformers: https://github.com/tensordot/syntaxdot/tree/main/syntaxdot-transformers☆19Oct 7, 2020Updated 5 years ago
- Documentation for the Ethereum LLL compiler☆14Jul 15, 2023Updated 2 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- ☆13Aug 29, 2022Updated 3 years ago
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆12Mar 20, 2024Updated last year
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- guarded interaction trees☆11Jul 4, 2025Updated 7 months ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Obsidian CSS snippets to tweak UI and harmonize various plugins.☆10Jul 18, 2024Updated last year
- An attempt to reimplement a minimal version of the Swift standard library. Just for fun — I doubt this has practical applications.☆12May 3, 2021Updated 4 years ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Experimental HKT framework and generic traits for the standard library☆22Dec 11, 2022Updated 3 years ago
- [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.☆12Apr 9, 2021Updated 4 years ago
- Docker image that generates a 800x600 weather status page for display on Nook Simple Touch☆11Jan 1, 2023Updated 3 years ago
- Better code block highlighting with Prism☆12Mar 10, 2025Updated 11 months ago
- The million digit Fibonacci number challenge. Calculate fibo(4784969) in various languages.☆12Oct 5, 2025Updated 4 months ago
- Rust crate for retrieving memory page size☆14Aug 3, 2023Updated 2 years ago
- ☆10Aug 9, 2024Updated last year
- A package for decoding the output of `swift package dump-package`☆15Oct 22, 2020Updated 5 years ago
- KDevelop plugin for building and running Rust crates with Cargo☆10Jan 11, 2023Updated 3 years ago
- Compiler (with intermediate representation and x64 code generator)☆15Jul 20, 2021Updated 4 years ago
- Platform- and library-independent cryptography for Ruby.☆128Jun 22, 2014Updated 11 years ago
- Low latency batching tool. Bundle lots of single concurrent operations into sequential batches of work.☆13Nov 30, 2025Updated 3 months ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 weeks ago
- Backup files on Emacs through git☆10Nov 11, 2020Updated 5 years ago
- Parse various network packets using nom☆15Dec 26, 2021Updated 4 years ago
- Get next real-time departures for VBB/BVG public transport in Berlin and surroundings.☆12May 18, 2016Updated 9 years ago
- Make your IDs strongly typed!!☆13Sep 22, 2022Updated 3 years ago
- Comparing Polars vs Pandas vs Rust native :)☆13Aug 25, 2021Updated 4 years ago
- Dynamic script & style (and more) injection for Hexo☆10Aug 4, 2020Updated 5 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- A window manager that makes working with UIWindow objects easily using an API similar to the UIViewController modal presentation API.☆36Mar 25, 2014Updated 11 years ago
- Userspace driver for Fancy Devices™☆10Jun 13, 2022Updated 3 years ago
- Sample code for Swift Talk episode 168: SwiftUI — Building a Collection View (Part 2)☆15Aug 29, 2019Updated 6 years ago
- Picori (ピッコル) is a library for decompilation, modding, and rom-hacking with focus on GameCube and Wii games.☆14Oct 24, 2023Updated 2 years ago