F# RISC-V Instruction Set formal specification
- fsharp
- risc-v
- cpu
- isa
47,133 repositories indexed
217–240 of 361 · Most stars
F# RISC-V Instruction Set formal specification
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
The JavaScript Crypto Library provides web developers with an extensive and efficient set of cryptographic functions. The library aims to obtain maximum execution speed while preserving modularity and reusability. The library is released as open source under a BDS license.
City Energy Analyst (CEA) is an open-source urban building energy modeling (UBEM) platform and computation tool for the design of low-carbon and highly efficient cities.
Drivers for InvenSense inertial measurement units MPU9250, MPU9150, MPU6050
Minimum High Performance Middleware for Crystal Web Server.
Simulator for AWS architecture blog (http://www.awsarchitectureblog.com/ ) about jitter and backoff.
The repository host gives no description.
Simulates enough of a Telnet connection in order to log failed login attempts.
TavernGym and TavernBench: a faithful, full-content Hearthstone Battlegrounds simulator with an RL interface, and a 960-task decision benchmark. Code and data for "Build, Don't Play".
:keyboard: Simulate a typewriter effect in vanilla JavaScript.
The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
OPEM (Open Source PEM Fuel Cell Simulation Tool)
Box2D.NET - a C# port of Box2D, is a 2D physics engine for games, .NET, Unity3D, servers
Swap around your iOS Simulator Documents
A Clojurey wrapper around the Lanterna terminal output library.
Multiresolution Adaptive Numerical Environment for Scientific Simulation
The Complete Street Rule for ArcGIS CityEngine is a scenario oriented design tool intended to enable users to quickly create procedurally generated multimodal streets.
Spatial and spatio-temporal geostatistical modelling, prediction and simulation
Bouncy Hsm is a software simulator of HSM and smartcard simulator with HTML UI, REST API and PKCS#11 interface.
🔥 JMock is a high-performance data generation and simulation component library implemented in Java.
HTTP mock for Golang: record and replay HTTP/HTTPS interactions for offline testing
Simulation-based Lidar Super-resolution for Ground Vehicles
A powerful input-agnostic swift logging framework made to speed up development with maximum readability.