• Joined on 2023年01月16日
Filter
Sort
A c library with cross-platform optimised support for various bit operations (PEXT/PDEP)
Updated 2026年04月11日 18:03:07 +02:00
Various idris code I've written
Updated 2026年03月09日 16:07:12 +01:00
some benchmarks of java vectors
Updated 2026年02月10日 16:14:20 +01:00
Updated 2025年12月23日 17:20:53 +01:00
Sting: like `Cow<'static, str>` but smaller. Sluice: like `Cow<'static, [u8]>` but smaller.
Updated 2025年07月04日 17:30:30 +02:00
Updated 2025年03月14日 10:43:51 +01:00
Updated 2024年12月03日 05:47:39 +01:00
Updated 2024年12月03日 05:46:05 +01:00
a property testing library for elixir. or the start of one...
Updated 2024年12月03日 05:45:37 +01:00
Updated 2024年12月03日 05:43:26 +01:00
Vectand makes diagramming fun! In-progress hackable and customisable diagramming for the web.
Updated 2024年08月10日 15:28:35 +02:00
Updated 2024年08月10日 13:14:57 +02:00
A trieber stack
Updated 2024年05月20日 22:59:18 +02:00
Updated 2024年01月10日 22:44:27 +01:00
WIP idris proofs for (some of) shork. currently proving patricia tries.
Updated 2023年06月26日 09:58:02 +02:00