MaartenBaert / xormixView external linksLinks
A hardware-optimized high-quality pseudorandom number generator
☆37Jan 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for xormix
Users that are interested in xormix are comparing it to the libraries listed below
Sorting:
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- Easy to use ECS system for nim with macros☆12Apr 9, 2022Updated 3 years ago
- VHDL Code for infrastructural blocks (designed for FPGA)☆15Oct 26, 2022Updated 3 years ago
- Stand-Alone RandOm Number Generators (various Java RNGs)☆12Jan 8, 2026Updated last month
- Pipelined RISC-V RV32I Core in Verilog☆41Apr 9, 2023Updated 2 years ago
- ☆24Oct 8, 2021Updated 4 years ago
- Reference implementation of Holographic Radiance Cascades☆34Nov 24, 2025Updated 2 months ago
- Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.☆17Apr 3, 2019Updated 6 years ago
- Formatics - Metamath verifier written in Nim.☆20May 13, 2022Updated 3 years ago
- 4 stage, in-order, secure RISC-V core based on the CV32E40P with Zfinx and Zce ISA extentions☆26Aug 16, 2023Updated 2 years ago
- Library of reusable VHDL components☆28Mar 7, 2024Updated last year
- Comparing shrinking approaches and performance across different PBT libraries☆29Jan 26, 2026Updated 2 weeks ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- Open Source Verification Bundle for VHDL and System Verilog☆48Jan 12, 2024Updated 2 years ago
- Boilerplate to bridge the absence of a framework and support Dialogflow Fulfillment implementation for multiple platforms by building a W…☆11Mar 8, 2022Updated 3 years ago
- Extract the heap representation of Haskell values and thunks☆50Jan 6, 2024Updated 2 years ago
- cryptography ip-cores in vhdl / verilog☆41Feb 20, 2021Updated 4 years ago
- ECE 4551: Computer Architecture☆11Nov 25, 2019Updated 6 years ago
- A fully open-source, self-hostable data lakehouse for local development and testing of modern data workflows☆28Jan 26, 2026Updated 2 weeks ago
- A simple file server built with ASP.NET Core framework.☆14Dec 15, 2024Updated last year
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- A grassroots-developed system that helps with matching refugees with hosts willing to provide housing in times of need.☆10Apr 3, 2022Updated 3 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Pythonic AMQP library for asyncio☆11Sep 12, 2018Updated 7 years ago
- the best Space/Roguelike/Bomberman hybrid on the market!☆15Jun 8, 2025Updated 8 months ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago
- 用来测试各种效果☆13Aug 3, 2023Updated 2 years ago
- ZeroVM glibc port (part of the gcc toolchain)☆12Apr 3, 2015Updated 10 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- ☆13Nov 25, 2024Updated last year
- ONE-SHOT Algebraic Effects for Lua!☆49Mar 11, 2025Updated 11 months ago
- Minimal 3D game engine for Ruby☆10Feb 29, 2020Updated 5 years ago
- ☆14Mar 25, 2024Updated last year
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- Part 3 of a GPU-based Mesh Voxelizer for Unity using Compute Shaders☆14Jun 5, 2021Updated 4 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- ☆20Jun 25, 2013Updated 12 years ago
- Mark conflicting items in the org-agenda☆16Mar 17, 2023Updated 2 years ago
- 简单好用的插值动画☆13Oct 9, 2025Updated 4 months ago