Projects

Updated 7 months ago

https://github.com/4ment/cladokit • Science 26%

A minimal, no-frills C++17 library for phylogenetic trees

cpp library phylogenetics tree

Updated 7 months ago

https://github.com/a-voronov/computer-graphics-from-scratch • Science 26%

Computer Graphics from Scratch: Lightweight C++ implementation with no external libraries

computer-graphics cpp

Updated 7 months ago

esbmc • Science 49%

The efficient SMT-based context-bounded model checker (ESBMC)

automated-testing automated-verification bmc c cheri cp-solver cpp incremental-learning k-induction kotlin python smt-solver solidity-contracts

Updated 7 months ago

power-grid-model • Science 67%

Python/C++ library for distribution power system analysis

cpp eigen3 numpy powerflow powersystem python shortcircuit stateestimation

Updated 7 months ago

control_kuka_velocity • Science 44%

A ROS2 package for controlling the Kuka iiwa14 using a the serial link action server & client repositories.

control cpp kuka-iiwa ros2

Updated 7 months ago

https://github.com/applegamer22/fit2082 • Science 23%

Explainable Multi-Agent Path Finder (XMAPF, work in progress) based on Lazy Conflict-Based Search (Gange, Harabor and Stuckey, 2021).

c cpp linux mapf python research xmapf

Updated 7 months ago

https://github.com/assodepicche/physically-based-rendering • Science 13%

Um estudo sobre renderização ray tracing e técnicas de computação gráfica

cpp raytracing

Updated 7 months ago

https://github.com/azzaare/compressedstacks.cpp • Science 23%

Compressed structure for Stack Algorithms

algorithms-datastructures big-data blackbox-algorithm compression-algorithm cpp stack stack-algorithm time-space-trade-off

Updated 7 months ago

bit_vector • Science 67%

Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.

bitvector cpp rank select space-efficiency

Updated 7 months ago

https://github.com/alexpreynolds/kmer-counter-unordmap • Science 13%

Count canonical kmers with STL unordered_map

bioinformatics cpp hash-tables kmer kmer-counting kmer-frequency-count

Updated 7 months ago

https://github.com/daniel-furman/data-structures • Science 13%

Data Structures and Algorithms in C++.

algorithms cpp hash-table object-oriented-programming runtime-analysis trees

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/4ment/cladokit • Science 26%

https://github.com/a-voronov/computer-graphics-from-scratch • Science 26%

esbmc • Science 49%

power-grid-model • Science 67%

control_kuka_velocity • Science 44%

https://github.com/applegamer22/fit2082 • Science 23%

https://github.com/assodepicche/physically-based-rendering • Science 13%

https://github.com/azzaare/compressedstacks.cpp • Science 23%

bit_vector • Science 67%

https://github.com/alexpreynolds/kmer-counter-unordmap • Science 13%

https://github.com/daniel-furman/data-structures • Science 13%