bovik-labs / oracle-typesView external linksLinks
Oracle Types Implementation and Examples
☆13Mar 31, 2021Updated 4 years ago
Alternatives and similar repositories for oracle-types
Users that are interested in oracle-types are comparing it to the libraries listed below
Sorting:
- Isomorphic JavaScript helper functions (crpyto, performance, ..)☆11Jul 18, 2023Updated 2 years ago
- Implement graphic bridging from anbox on WSL2 to render program on win10☆10Jan 15, 2022Updated 4 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- A collection of sample Relay applications☆12Nov 12, 2019Updated 6 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆10Feb 14, 2020Updated 6 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- 现代 Web 编程语言体系☆10Nov 9, 2021Updated 4 years ago
- LectureCut is a tool that automatically reduces the length of lectures by removing unnecessary parts.☆10Apr 30, 2023Updated 2 years ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 5 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Apache Bean Scripting Framework API for Android☆12Nov 7, 2012Updated 13 years ago
- Cursor-based pagination for TypeORM☆10Apr 30, 2024Updated last year
- Implementation of webdav requests in rust☆11Oct 9, 2021Updated 4 years ago
- Bootstrap responsive squares and rectangles☆12Nov 19, 2016Updated 9 years ago
- ☆11Jun 25, 2025Updated 7 months ago
- Automatically exported from code.google.com/p/libsum☆12Mar 19, 2015Updated 10 years ago
- Temporal Logic of Actions Modeling for Python☆11Mar 27, 2021Updated 4 years ago
- retiolum network☆13Aug 27, 2025Updated 5 months ago
- The slow loris attack, now implemented in Rust!☆12May 9, 2022Updated 3 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- This crate provides an efficient rate limiting mechanism using token buckets, specifically designed for asynchronous web applications wit…☆13Aug 27, 2024Updated last year
- Playground and generated docs for Protobuf files☆11Oct 15, 2024Updated last year
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated last month
- Densha de Go! Final Modding Library☆13Mar 17, 2021Updated 4 years ago
- Automatically upgrade breaking changes☆46Mar 6, 2024Updated last year
- Virtual Analog implementation inspired by the VCS3 diode ladder filter☆14Aug 19, 2021Updated 4 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- Common Lisp wrapper for Openwall bcrypt password hashing library.☆14Apr 3, 2019Updated 6 years ago
- Plan your week for the next semester.☆16Mar 1, 2024Updated last year
- Rusty Monad Results for JS☆12Apr 24, 2020Updated 5 years ago
- MGS Import .NET Tool☆11Jan 20, 2025Updated last year
- Customisable, thread-safe C11 memory allocator based off the K&R "storage allocator"☆14Jul 5, 2024Updated last year
- ☆11Aug 25, 2022Updated 3 years ago
- ☆13Feb 2, 2026Updated last week
- my blog☆11Dec 21, 2025Updated last month
- https://jamesgraves.github.io/rust-cookbook☆10Mar 5, 2025Updated 11 months ago
- This is an implementation/comparison of various methods for ray casting in 2D grids, also referenced in my corresponding blog post: http…☆10Apr 26, 2019Updated 6 years ago
- Shows git blame in Atom’s status bar☆11May 20, 2019Updated 6 years ago