ElliotSwart
Follow
-
-
ekvsb Public
Forked from sile/ekvsbBenchmark Tool for Embedded Key-Value Stores available in Rust
Rust MIT License UpdatedFeb 18, 2024 -
lucene Public
Forked from apache/luceneApache Lucene open-source search software
Java Apache License 2.0 UpdatedOct 9, 2023 -
-
grpc-java Public
Forked from grpc/grpc-javaThe Java gRPC implementation. HTTP/2 based RPC
Java Apache License 2.0 UpdatedNov 18, 2022 -
buf Public
Forked from bufbuild/bufA new way of working with Protocol Buffers.
Go Apache License 2.0 UpdatedNov 16, 2022 -
solr Public
Forked from apache/solrApache Solr open-source search software
Java Apache License 2.0 UpdatedNov 15, 2022 -
stable-diffusion Public
Forked from CompVis/stable-diffusionA latent text-to-image diffusion model
Jupyter Notebook Other UpdatedNov 14, 2022 -
-
oxDNA Public
Forked from lorenzo-rovigatti/oxDNAA new version of the code to simulate the oxDNA/oxRNA models, now equipped with Python bindings
C++ GNU General Public License v3.0 UpdatedOct 25, 2022 -
tlaplus Public
Forked from tlaplus/tlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedAug 29, 2022 -
TLAPlusExamples Public
Forked from tlaplus/ExamplesA collection of TLA+ specifications of varying complexities
TLA Other UpdatedAug 29, 2022 -
jpf-core Public
Forked from javapathfinder/jpf-coreJPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
Java UpdatedAug 10, 2022 -
pragmaticformalmodeling Public
An instructional website with progressively worked examples of TLA+ specifications and model checking.
-
MPMCQueue Public
Forked from rigtorp/MPMCQueueA bounded multi-producer multi-consumer concurrent queue written in C++11
C++ MIT License UpdatedJun 24, 2022 -
oxdna_analysis_tools Public
Forked from sulcgroup/oxdna_analysis_toolsA set of tools to analyze oxDNA/oxRNA simulations of DNA/RNA
Python GNU General Public License v3.0 UpdatedFeb 19, 2022 -
cardboard-mpo Public
Forked from dbrant/cardboard-mpoMPO image viewer for Google Cardboard.
Java Other UpdatedJul 18, 2016 -
dermatology Public
Forked from dermatology-ontology/dermatologyDermatological Disease Ontology
UpdatedMay 27, 2016 -
Windows-universal-samples Public
Forked from microsoft/Windows-universal-samplesThis repo contains the samples that demonstrate the API usage patterns for the Universal Windows Platform (UWP) in the Windows Software Development Kit (SDK) for Windows 10. These code samples are …
JavaScript MIT License UpdatedSep 10, 2015 -
-
MPU-9150_Breakout Public
Forked from sparkfun/MPU-9150_BreakoutExample code and PCB design files for the MPU-9105, 9DOF.
Eagle UpdatedMay 13, 2014