GitHub topics: artificial-intelligence
crillab/gophersat
gophersat, a SAT solver in Go
Language: Go - Size: 18.3 MB - Last synced at: about 17 hours ago - Pushed at: about 1 year ago - Stars: 379 - Forks: 23
IGNF/FLAIR-HUB
UperFuse code for the FLAIR-HUB dataset
Language: Python - Size: 12.4 MB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 8 - Forks: 1
CEA-LIST/N2D2
N2D2 is an open source CAD framework for Deep Neural Network simulation and full DNN-based applications building.
Language: C - Size: 467 MB - Last synced at: about 14 hours ago - Pushed at: 12 months ago - Stars: 155 - Forks: 38
DGAC/Acropole
This repository contains the Acropole model for aircraft fuel flow prediction and Python packages for aircraft trajectory processing and fuel flow enhancement.
Language: Python - Size: 3.57 MB - Last synced at: about 16 hours ago - Pushed at: 10 months ago - Stars: 20 - Forks: 5
