A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
25–42 of 42 · Most stars
A high-performance, high precision, zero allocation fixed-point decimal library for financial applications
- golang
- high-performance
- zero-allocation
- money
A Network Integration Approach for Drug-Target Interaction Prediction
Wrapper for RDKit's RunReactants to improve stereochemistry handling
MOGONET (Multi-Omics Graph cOnvolutional NETworks) is a novel multi-omics data integrative analysis framework for classification tasks in biomedical applications.
Sparse matrix formats for linear algebra supporting scientific and machine learning applications
- go
- golang
- matrix
- scientific-computing
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
- blueobelisk
- java
- chemistry
a physics library wrapper for love2d
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
Fast detection of repackaged Android applications based on the comparison of resource files included into the package.
- android
- android-security
- repackaging-detection
- java
A matrix package for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif.
A command line weather app built using elixir
Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.
Realtime Weather and Earthquake alerts in Neovim
Winner of the Golem Gitcoin Hackathon 2020 (https://blog.golemproject.net/meet-the-winners-golem-gitcoin-hackathon-2020/). This app lets people design, simulate, and analyse antenna arrays without the need to utilize commercial and expensive applications.
- golem
Simple webapp for generating small ligand conformers
- computational-biology
- computational-chemistry
- conformer-generation
- rdkit
Weather App in Imba
This is a weather app for the MacOSX menubar that the user can easily click to find the weather. Uses CSS based design and gets data from OpenWeatherMap.