tlsf
Here are 12 public repositories matching this topic...
Dynamic suballocators for external memory (e.g., Vulkan device memory). Umaintained - consider migrating to https://crates.io/crates/offset-allocator
-
Updated
Jul 22, 2022 - Rust
AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
-
Updated
May 28, 2024 - Java
EstiMate 🦉: A fast and accurate model counter tool for estimating the number of models for LTL formulas using transfer matrices.
-
Updated
Dec 9, 2024 - Java
Efficient caching for non-volatile memory-backed search indices. A thesis submitted for undergraduate honours for the degree Software Engineering.
-
Updated
Nov 11, 2022
A real-time search cache supporting DLIRS & LRU built on top of a Hybrid TLSF Fixed Heap allocator
-
Updated
Jan 13, 2024 - C
Two-Level Segregated Fit memory allocator implementation.
-
Updated
Apr 1, 2024 - C
A hybrid TLSF fixed heap allocator for managing pre-allocated heap memory.
-
Updated
Apr 16, 2022 - C
A tlsf based allocator library for embedded
-
Updated
Jun 26, 2025 - C++
Improve this page
Add a description, image, and links to the tlsf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tlsf topic, visit your repo's landing page and select "manage topics."