All Projects → gospal → Similar Projects or Alternatives

742 Open source projects that are alternatives of or similar to gospal

Dingo Hunter
Static analyser for finding Deadlocks in Go
Stars: ✭ 272 (+385.71%)
Mutual labels:  research, static-analysis
Reading
A list of computer-science readings I recommend
Stars: ✭ 1,919 (+3326.79%)
Mutual labels:  research, static-analysis
FIDL
A sane API for IDA Pro's decompiler. Useful for malware RE and vulnerability research
Stars: ✭ 421 (+651.79%)
Mutual labels:  research
awesome-mobile-robotics
Useful links of different content related to AI, Computer Vision, and Robotics.
Stars: ✭ 243 (+333.93%)
Mutual labels:  research
How Companies Hire
An inside look into how top tech companies hire
Stars: ✭ 234 (+317.86%)
Mutual labels:  research
projects
A website that showcases interesting projects, using Angular JS.
Stars: ✭ 106 (+89.29%)
Mutual labels:  research
patzilla
PatZilla 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%)
Mutual labels:  research
Wreeto official
Wreeto is an open source note-taking, knowledge management and wiki system.
Stars: ✭ 241 (+330.36%)
Mutual labels:  research
NLP-Suite
CLICK ON WIKI LINK BELOW OR ON Wiki TAB AT TOP BANNER FOR DOWNLOAD INSTRUCTIONS AND INFORMATION ON THE NLP SUITE.
Stars: ✭ 36 (-35.71%)
Mutual labels:  research
Mindforger Repository
MindForger documentation repository.
Stars: ✭ 221 (+294.64%)
Mutual labels:  research
lint-checks
A set of opinionated and useful lint checks
Stars: ✭ 61 (+8.93%)
Mutual labels:  static-analysis
Pokerrl
Framework for Multi-Agent Deep Reinforcement Learning in Poker
Stars: ✭ 214 (+282.14%)
Mutual labels:  research
code-review
Automated static analysis & linting bot for Mozilla repositories
Stars: ✭ 51 (-8.93%)
Mutual labels:  static-analysis
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (-39.29%)
Mutual labels:  research
gmseg
Spinal cord gray matter segmentation using deep dilated convolutions.
Stars: ✭ 43 (-23.21%)
Mutual labels:  research
awesome-offline-rl
An index of algorithms for offline reinforcement learning (offline-rl)
Stars: ✭ 578 (+932.14%)
Mutual labels:  research
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%)
Mutual labels:  research
SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
Stars: ✭ 38 (-32.14%)
Mutual labels:  static-analysis
Flambe
An ML framework to accelerate research and its path to production.
Stars: ✭ 236 (+321.43%)
Mutual labels:  research
binary-auditing-solutions
Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.
Stars: ✭ 61 (+8.93%)
Mutual labels:  static-analysis
Hamiltonian Nn
Code for our paper "Hamiltonian Neural Networks"
Stars: ✭ 229 (+308.93%)
Mutual labels:  research
gscholar-citations-crawler
Crawl all your citations from Google Scholar
Stars: ✭ 43 (-23.21%)
Mutual labels:  research
Research Paper Notes
Notes and Summaries on ML-related Research Papers (with optional implementations)
Stars: ✭ 218 (+289.29%)
Mutual labels:  research
iec-checker
Static analysis of IEC 61131-3 programs
Stars: ✭ 36 (-35.71%)
Mutual labels:  static-analysis
Kafl
A fuzzer for full VM kernel/driver targets
Stars: ✭ 204 (+264.29%)
Mutual labels:  research
haddocking.github.io
Webpage of the Bonvinlab @ Utrecht University and HADDOCK software
Stars: ✭ 14 (-75%)
Mutual labels:  research
Research In Production
A collection of research papers categorized by real-world systems that enact them
Stars: ✭ 205 (+266.07%)
Mutual labels:  research
duplex
Duplicate code finder for Elixir
Stars: ✭ 20 (-64.29%)
Mutual labels:  static-analysis
UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Stars: ✭ 59 (+5.36%)
Mutual labels:  static-analysis
go-recipes
🦩 Tools for Go projects
Stars: ✭ 2,490 (+4346.43%)
Mutual labels:  static-analysis
SDA
SDA 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%)
Mutual labels:  static-analysis
tryceratops
A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).
Stars: ✭ 381 (+580.36%)
Mutual labels:  static-analysis
degitx
Distributed git repository manager
Stars: ✭ 28 (-50%)
Mutual labels:  research
itc.lua
A Lua implementation of Interval Tree Clocks
Stars: ✭ 21 (-62.5%)
Mutual labels:  research
sbt-findbugs
FindBugs static analysis plugin for sbt.
Stars: ✭ 47 (-16.07%)
Mutual labels:  static-analysis
Browser Sec Whitepaper
Cure53 Browser Security White Paper
Stars: ✭ 251 (+348.21%)
Mutual labels:  research
ultimate-defi-research-base
Here 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%)
Mutual labels:  research
Timelinestoryteller
An expressive visual storytelling environment for presenting timelines on the web and in Power BI. Developed at Microsoft Research.
Stars: ✭ 244 (+335.71%)
Mutual labels:  research
derain-net
A (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%)
Mutual labels:  research
Data Mining Conferences
Ranking, acceptance rate, deadline, and publication tips
Stars: ✭ 236 (+321.43%)
Mutual labels:  research
deepcourse
Learn 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%)
Mutual labels:  research
Asreview
Active learning for systematic reviews
Stars: ✭ 233 (+316.07%)
Mutual labels:  research
api-evangelist
The API Evangelist website
Stars: ✭ 73 (+30.36%)
Mutual labels:  research
Appnp
A PyTorch implementation of "Predict then Propagate: Graph Neural Networks meet Personalized PageRank" (ICLR 2019).
Stars: ✭ 234 (+317.86%)
Mutual labels:  research
phpstan-extensions
Extensions for PHPStan
Stars: ✭ 61 (+8.93%)
Mutual labels:  static-analysis
Catalyst
Accelerated deep learning R&D
Stars: ✭ 2,804 (+4907.14%)
Mutual labels:  research
public research
Publicly available research done by BOHR.TECHNOLOGY.
Stars: ✭ 16 (-71.43%)
Mutual labels:  research
Zr Obp
Open Bandit Pipeline: a python library for bandit algorithms and off-policy evaluation
Stars: ✭ 219 (+291.07%)
Mutual labels:  research
Blockchain-Alpha
Alpha from various sectors in the blockchain space.
Stars: ✭ 102 (+82.14%)
Mutual labels:  research
Vuvuzela
Private messaging system that hides metadata
Stars: ✭ 2,423 (+4226.79%)
Mutual labels:  research
RTX-Mesh-Shaders
Different mesh shading techniques using the NVIDIA RTX (Turing) technology.
Stars: ✭ 84 (+50%)
Mutual labels:  research
Knowledge
Everything I know
Stars: ✭ 2,982 (+5225%)
Mutual labels:  research
nightcore
Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
Stars: ✭ 70 (+25%)
Mutual labels:  research
Benchmarknet
Benchmark for testing the reliable UDP networking solutions
Stars: ✭ 206 (+267.86%)
Mutual labels:  research
PSP
PSP-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%)
Mutual labels:  research
Mlfinlab
MlFinLab 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%)
Mutual labels:  research
yoda
A system for reliable, long-term storing and archiving large amounts of research data during all stages of a study.
Stars: ✭ 29 (-48.21%)
Mutual labels:  research
senpai
Molecular dynamics simulation software
Stars: ✭ 124 (+121.43%)
Mutual labels:  research
luli
A static analysis and linter tool for Lua
Stars: ✭ 45 (-19.64%)
Mutual labels:  static-analysis
checkup
A health checkup for your project.
Stars: ✭ 76 (+35.71%)
Mutual labels:  static-analysis
1-60 of 742 similar projects