388 Open source projects that are alternatives of or similar to path_semantics

Equilibrium Expectation for ERGM parameter estimation for large directed networks

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

👥 轻松创建研究组或组织网站 Easily create a stunning Research Group, Team, or Business Website with no-code

MSc thesis on: Classifying brain activity using EEG and automated time tracking of computer use (using ActivityWatch)

Book: Gentle Introduction to Dependent Types with Idris

Tensorflow implementation of the Manifold Mixup machine learning research paper

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

Some personal exploits/pocs

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.

Manifest is an investigative toolkit intended for researchers, journalists, students, and scholars interested in visualizing, analyzing, and documenting supply chains, production lines, and trade networks.

A hybrid visualization framework for desktops, large immersive displays and the web

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

Python class for reading and writing NLLoc grid files.

Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]

Type Theory in Type Theory using Cubical Agda

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Improve the quality of a denovo assembly by scaffolding and gap filling

A collection of tips for scientific research

Graphics library authored by Chris Schankula and Dr. Christopher Anand

Prunable nn layers for pytorch.

Experiments logging & visualization

Finds SNP sites from a multi-FASTA alignment file

Keeping track of activities around research data

Molecular dynamics simulation software

Cartridge encrypt/decrypt

SOMns: A Newspeak for Concurrency Research

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

Автоматизация поиска и исследования вакансий с сайта hh.ru (Headhunter) с помощью методов Python. Классификация данных, поиск статистических параметров.

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

Important papers and associated code on automatic mixing research

A Python package for automatic earthquake detection and location using waveform migration and stacking.

Homotopy Type Theory proofs in Idris

Univalent mathematics in Agda

Project Free Our Knowledge aims to organise collective action in support of open and reproducible research practices. This repository is used to design new campaigns (using the issues feature) and to build the website (www.freeourknowledge.org).

A Python package for small bodies research

Image2Image Translation Research

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

Privacy -preserving Neural Networks

Paper notes in deep learning/machine learning and computer vision

ShowStopper is a tool for helping malware researchers explore and test anti-debug techniques or verify debugger plugins or other solutions that clash with standard anti-debug methods.

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

Multilocus sequence typing by blast using the schemes from PubMLST

DeclareDesign: Declare and Diagnose Research Designs

PyTorch Lightning + Hydra. A very user-friendly template for rapid and reproducible ML experimentation with best practices. ⚡🔥⚡

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Provides tools for literature snowballing

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

PortfolioLab is a python library that enables traders to take advantage of the latest portfolio optimisation algorithms used by professionals in the industry.

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

Materials related to events I might attend, and to talks I am giving

Go static program analyser

Data preprocessing scripts and preprocessed data storage for COVID-19 Scenarios project

The API Evangelist website

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Some common recommendation system baseline, with description and link.

Cicada Language

Electrical Engineering Python Module

Convert DeepMind Control Suite to OpenAI gym environments.

A categorical semantics library in Agda.