441 Open source projects that are alternatives of or similar to boki

Run an isolated instance of a tor network in Docker containers

An index of algorithms for offline reinforcement learning (offline-rl)

Webpage of the Bonvinlab @ Utrecht University and HADDOCK software

A sane API for IDA Pro's decompiler. Useful for malware RE and vulnerability research

Useful links of different content related to AI, Computer Vision, and Robotics.

The API Evangelist website

A stable cryptocurrency that algorithmically targets $1 USD using the Kowala Protocol

Prunable nn layers for pytorch.

rough code for running consensus

Wreeto is an open source note-taking, knowledge management and wiki system.

An inside look into how top tech companies hire

Learn the Deep Learning for Computer Vision in three steps: theory from base to SotA, code in PyTorch, and space-repetition with Anki

Go static program analyser

Alpha from various sectors in the blockchain space.

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

A system for reliable, long-term storing and archiving large amounts of research data during all stages of a study.

A minimalistic blockchain consensus implemented and verified in Coq

The consensus GEM for Saccharomyces cerevisiae

A curated list of awesome Amazon Web Services (AWS) libraries, open source repos, guides, blogs, and other resources for Academic Researchers new to AWS

🔬 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

CLICK ON WIKI LINK BELOW OR ON Wiki TAB AT TOP BANNER FOR DOWNLOAD INSTRUCTIONS AND INFORMATION ON THE NLP SUITE.

An ML framework to accelerate research and its path to production.

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Code for our paper "Hamiltonian Neural Networks"

MindForger documentation repository.

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

A Go implementation of CITA. https://docs.nervos.org/cita

rust raft with improvements

A collection of tips for scientific research

Crawl all your citations from Google Scholar

Molecular dynamics simulation software

Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]

Rapid phylogenetic analysis of large samples of recombinant bacterial whole genome sequences using Gubbins

Badger-based backend for Hashicorp's raft package

Different mesh shading techniques using the NVIDIA RTX (Turing) technology.

A website that showcases interesting projects, using Angular JS.

DeclareDesign: Declare and Diagnose Research Designs

Spinal cord gray matter segmentation using deep dilated convolutions.

Paxos implementation in Rust

A Lua implementation of Interval Tree Clocks

A Python package for small bodies research

Cure53 Browser Security White Paper

A (WIP) TensorFlow reproduction of Fu, Huang, Ding, Liao, and Paisley's method for single-image rain removal (https://arxiv.org/abs/1609.02087)

An expressive visual storytelling environment for presenting timelines on the web and in Power BI. Developed at Microsoft Research.

The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.

Ranking, acceptance rate, deadline, and publication tips

Publicly available research done by BOHR.TECHNOLOGY.

Active learning for systematic reviews

This repository contains the Matlab source codes (to use in Robotarium platform) of various rendezvous controllers for consensus control in a multi-agent / multi-robot system.

A PyTorch implementation of "Predict then Propagate: Graph Neural Networks meet Personalized PageRank" (ICLR 2019).

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.

Accelerated deep learning R&D

Finds SNP sites from a multi-FASTA alignment file

Open Bandit Pipeline: a python library for bandit algorithms and off-policy evaluation

Distributed git repository manager

Equilibrium Expectation for ERGM parameter estimation for large directed networks

Initially started as my own personal lecture notes. Slowly, I'm converting this repo into an extremely detailed set of notes to help future pioneers, Cardano devs and anyone with an academic interest in DLTs and Blockchain Consensus Algorithms.

Paper notes in deep learning/machine learning and computer vision

STriP Net: Semantic Similarity of Scientific Papers (S3P) Network