AI-driven neuro-symbolic solver for high-school geometry problems
Accurately Locate Smartphones using Social Engineering
Papers from the computer science community to read and discuss
Earth orbits and satellite coverage display in 3D on your laptop.
A Lean 4 Ecosystem Framework!
Matches OpenScience Observatories images with astronomical catalogs
Uma calculadora desenvolvida em C, com interface gráfica em Python.
The C++11 library, msvc2015u3/gcc5.4 + cmake,python,bash,vbs modules
Program for molecular graphics
Software to processing and analyze of airborne measurements.
Satellite Procedure Execution Language and Library
console tools, batch scripts, vbs scripts
General data-reduction tool for fiber-fed integral-field spectrographs
A web platform for the MC simulation of realistic brain PET data
Analyzing amplicon data from sequences to stats
miRPV: An automated pipeline for miRNA Prediction and Validation in si
Software and Code from Laboratori de Proteòmica CSIC/UAB
A bioinformatics pipeline to analyze mtDNA from NGS data
Workflow and set of tools for Automated Imagery Classification
Controls processing and daylight simulation with hierarchical models.
Phrase-Based & Neural Unsupervised Machine Translation
Linux for Arduino and Makers developers