Dingo HunterStatic analyser for finding Deadlocks in Go
Stars: ✭ 272 (+385.71%)
ReadingA list of computer-science readings I recommend
Stars: ✭ 1,919 (+3326.79%)
FIDLA sane API for IDA Pro's decompiler. Useful for malware RE and vulnerability research
Stars: ✭ 421 (+651.79%)
awesome-mobile-roboticsUseful links of different content related to AI, Computer Vision, and Robotics.
Stars: ✭ 243 (+333.93%)
projectsA website that showcases interesting projects, using Angular JS.
Stars: ✭ 106 (+89.29%)
patzillaPatZilla is a modular patent information research platform and data integration toolkit with a modern user interface and access to multiple data sources.
Stars: ✭ 71 (+26.79%)
Wreeto officialWreeto is an open source note-taking, knowledge management and wiki system.
Stars: ✭ 241 (+330.36%)
NLP-SuiteCLICK ON WIKI LINK BELOW OR ON Wiki TAB AT TOP BANNER FOR DOWNLOAD INSTRUCTIONS AND INFORMATION ON THE NLP SUITE.
Stars: ✭ 36 (-35.71%)
lint-checksA set of opinionated and useful lint checks
Stars: ✭ 61 (+8.93%)
PokerrlFramework for Multi-Agent Deep Reinforcement Learning in Poker
Stars: ✭ 214 (+282.14%)
code-reviewAutomated static analysis & linting bot for Mozilla repositories
Stars: ✭ 51 (-8.93%)
thetaGeneric, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (-39.29%)
gmsegSpinal cord gray matter segmentation using deep dilated convolutions.
Stars: ✭ 43 (-23.21%)
awesome-offline-rlAn index of algorithms for offline reinforcement learning (offline-rl)
Stars: ✭ 578 (+932.14%)
Smpybandits🔬 Research Framework for Single and Multi-Players 🎰 Multi-Arms Bandits (MAB) Algorithms, implementing all the state-of-the-art algorithms for single-player (UCB, KL-UCB, Thompson...) and multi-player (MusicalChair, MEGA, rhoRand, MCTop/RandTopM etc).. Available on PyPI: https://pypi.org/project/SMPyBandits/ and documentation on
Stars: ✭ 244 (+335.71%)
SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework
Stars: ✭ 38 (-32.14%)
FlambeAn ML framework to accelerate research and its path to production.
Stars: ✭ 236 (+321.43%)
binary-auditing-solutionsLearn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.
Stars: ✭ 61 (+8.93%)
Hamiltonian NnCode for our paper "Hamiltonian Neural Networks"
Stars: ✭ 229 (+308.93%)
Research Paper NotesNotes and Summaries on ML-related Research Papers (with optional implementations)
Stars: ✭ 218 (+289.29%)
iec-checkerStatic analysis of IEC 61131-3 programs
Stars: ✭ 36 (-35.71%)
KaflA fuzzer for full VM kernel/driver targets
Stars: ✭ 204 (+264.29%)
haddocking.github.ioWebpage of the Bonvinlab @ Utrecht University and HADDOCK software
Stars: ✭ 14 (-75%)
Research In ProductionA collection of research papers categorized by real-world systems that enact them
Stars: ✭ 205 (+266.07%)
duplexDuplicate code finder for Elixir
Stars: ✭ 20 (-64.29%)
UTBotCppTool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Stars: ✭ 59 (+5.36%)
go-recipes🦩 Tools for Go projects
Stars: ✭ 2,490 (+4346.43%)
SDASDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.
Stars: ✭ 98 (+75%)
tryceratopsA linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).
Stars: ✭ 381 (+580.36%)
degitxDistributed git repository manager
Stars: ✭ 28 (-50%)
itc.luaA Lua implementation of Interval Tree Clocks
Stars: ✭ 21 (-62.5%)
sbt-findbugsFindBugs static analysis plugin for sbt.
Stars: ✭ 47 (-16.07%)
ultimate-defi-research-baseHere we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.
Stars: ✭ 1,074 (+1817.86%)
TimelinestorytellerAn expressive visual storytelling environment for presenting timelines on the web and in Power BI. Developed at Microsoft Research.
Stars: ✭ 244 (+335.71%)
derain-netA (WIP) TensorFlow reproduction of Fu, Huang, Ding, Liao, and Paisley's method for single-image rain removal (https://arxiv.org/abs/1609.02087)
Stars: ✭ 15 (-73.21%)
deepcourseLearn the Deep Learning for Computer Vision in three steps: theory from base to SotA, code in PyTorch, and space-repetition with Anki
Stars: ✭ 117 (+108.93%)
AsreviewActive learning for systematic reviews
Stars: ✭ 233 (+316.07%)
AppnpA PyTorch implementation of "Predict then Propagate: Graph Neural Networks meet Personalized PageRank" (ICLR 2019).
Stars: ✭ 234 (+317.86%)
CatalystAccelerated deep learning R&D
Stars: ✭ 2,804 (+4907.14%)
public researchPublicly available research done by BOHR.TECHNOLOGY.
Stars: ✭ 16 (-71.43%)
Zr ObpOpen Bandit Pipeline: a python library for bandit algorithms and off-policy evaluation
Stars: ✭ 219 (+291.07%)
Blockchain-AlphaAlpha from various sectors in the blockchain space.
Stars: ✭ 102 (+82.14%)
VuvuzelaPrivate messaging system that hides metadata
Stars: ✭ 2,423 (+4226.79%)
RTX-Mesh-ShadersDifferent mesh shading techniques using the NVIDIA RTX (Turing) technology.
Stars: ✭ 84 (+50%)
KnowledgeEverything I know
Stars: ✭ 2,982 (+5225%)
nightcoreNightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
Stars: ✭ 70 (+25%)
BenchmarknetBenchmark for testing the reliable UDP networking solutions
Stars: ✭ 206 (+267.86%)
PSPPSP-UFU (Power Systems Platform of Federal University of Uberlândia) is a cross-platform, multilingual, Free and Open-Source Software with advanced GUI features and CAD tools for electrical power system studies.
Stars: ✭ 30 (-46.43%)
MlfinlabMlFinLab helps portfolio managers and traders who want to leverage the power of machine learning by providing reproducible, interpretable, and easy to use tools.
Stars: ✭ 2,676 (+4678.57%)
yodaA system for reliable, long-term storing and archiving large amounts of research data during all stages of a study.
Stars: ✭ 29 (-48.21%)
senpaiMolecular dynamics simulation software
Stars: ✭ 124 (+121.43%)
luliA static analysis and linter tool for Lua
Stars: ✭ 45 (-19.64%)
checkupA health checkup for your project.
Stars: ✭ 76 (+35.71%)