Axmouth/solid-snake

A low level, modular bytecode, finite register VM focused on safety and extensibility, with plans for a Python like, statically typed language on top.

Language: Rust - Size: 208 KB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 2 - Forks: 0

ashvardanian/fork_union

Low(est?)-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the hot path 🍴

Language: C++ - Size: 223 KB - Last synced at: about 20 hours ago - Pushed at: about 21 hours ago - Stars: 80 - Forks: 10

OSVVM/OSVVM

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Language: VHDL - Size: 18.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 242 - Forks: 69

johnwickerson/memalloy

Memory consistency modelling using Alloy

Language: OCaml - Size: 4.99 MB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 29 - Forks: 6

wyvernSemi/mem_model

High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model

Language: VHDL - Size: 2.71 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 22 - Forks: 3

michpara/ITI1120-Introduction-to-Computing-I

Labs for Introduction to Computing I

Language: Python - Size: 4.59 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

luismendes070/jcstress Fork of openjdk/jcstress

https://openjdk.java.net/projects/code-tools/jcstress/

Size: 1.77 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Banyc/futex

Taming the beast of desync

Language: Rust - Size: 38.1 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

bismex/MMLT

[ECCVW2018] A Memory Model based on the Siamese Network for Long-term Tracking (MMLT)

Language: MATLAB - Size: 11.4 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 5

ehsanyousefzadehasl/MMCC

MMCC stands for Memory Model and Cache Coherence *|* In this repository, I push what I learn and code about the memory models and cache coherence protocols to be able to start to research on memory models and cache coherence protocols for GPGPUs and Heterogeneous Systems

Size: 2.55 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

AB20CS/MemoryModelAnalyzer

Performs a static analysis of a file containing C source code, identifying the location in memory of the variables defined within the code

Language: C - Size: 138 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

aqjune/twinsem

Language: Coq - Size: 498 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

takayuki/thinking-in-tla

Thinking in TLA: a TLA playground to learn algorithms

Language: TLA - Size: 328 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1