joedimos's Stars
rudi-cilibrasi/vitefolts
vitefolts First Order Logic Typescript theorem prover
NVIDIA/torch-harmonics
Differentiable signal processing on the sphere for PyTorch
makepath/xarray-spatial
Raster-based Spatial Analytics for Python
monarch-initiative/ontogpt
LLM-based ontological extraction tools, including SPIRES
GT4SD/gt4sd-core
GT4SD, an open-source library to accelerate hypothesis generation in the scientific discovery process.
DYCI2/Dicy2
"Dicy2 for Max" is a Max package implementing interactive agents using machine-learning to generate musical sequences that can be integrated into musical situations ranging from the production of structured material within a compositional process to the design of autonomous agents for improvised interaction. Check also our plugin for Ableton live !
kleok/FLOODPY
Flood Python Toolbox
vcvpaiva/DialecticaCategories
A place to collect work on dialectica categories.
reglab/casehold
Repository for Zheng and Guha et al., 2021, "When Does Pretraining Help? Assessing Self-Supervised Learning for Law and the CaseHOLD Dataset of 53,000+ Legal Holdings"
BRGM/hubeau
Hub'Eau, la plateforme pour manipuler facilement les données ouvertes sur l'eau
stumpwm/stumpwm
The Stump Window Manager
ulthiel/soergelbook
Supplementary material for the book "Introduction to Soergel bimodules" by B. Elias, S. Makisumi, U. Thiel, G. Williamson
softlab-unimore/bert-attention-for-em
dfdazac/blp
"Inductive Entity Representations from Text via Link Prediction" @ The Web Conference 2021
neuralmind-ai/coliee
Code to reproduce NeuralMind's submissions to COLIEE 2021 and COLIEE 2022
PrivateKit/VaccineDiary
obdasystems/eddy
A graphical editor for the specification and visualization of Graphol ontologies
tomiilab/DeepECA
nextstrain/augur
Pipeline components for real-time phylodynamic analysis
HopkinsIDD/covidRTPCR
Analysis of RT-PCR sensitivity by day since exposure or symptom onset
COVIDAnalytics/DELPHI
DELPHI: The Epidemiological model underlying COVIDAnalytics
geomdata/gda-public
The open-source toolbox of easy-to-use topological data analysis tools, developed by GDA.