https://github.com/juliafolds/transducers.jl
Efficient transducers for Julia
distributed-computing
high-performance
iterators
julia
map-reduce
parallel
transducers
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: December 23, 2018
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Julia
- Commits: 996
- Committers: 17
- Issues: 53
- Pull Requests: 64
- Owner: JuliaFolds
- Stars: 424
- Forks: 24
- Packages: 0
https://github.com/hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
cryptography
everest
formal-methods
formal-verification
hacl
high-performance
inria
security
verification
verified-primitives
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: June 23, 2016
https://github.com/xiangpenghao/congee
Concurrent ART (adaptive radix tree)
adaptive-radix-tree
concurrent
containers
database
high-performance
index
range-index
rust
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: January 04, 2022
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Rust
- Commits: 296
- Committers: 5
- Issues: 10
- Pull Requests: 4
- Owner: XiangpengHao
- Stars: 81
- Forks: 6
- Packages: 1
- Downloads: 11,342
https://github.com/kinotic-foundation/structures
Structures is an open-source framework for data storage and retrieval, supporting schema evolution, data management, and providing a user-friendly GUI and OpenAPI interface.
data-management
data-structures
datamanagement
docker
high-performance
java
schema-evolution
Added: over 1 year ago - Last Synced: about 1 year ago
- Created: March 20, 2023
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Java
- Commits: 377
- Committers: 5
- Issues: 17
- Pull Requests: 7
- Owner: Kinotic-Foundation
- Stars: 2
- Forks: 1
- Packages: 2
- Downloads: 364
