Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.
nasa-jpl/open-source-rover
A build-it-yourself, 6-wheel rover based on the rovers on Mars!terminusdb/terminusdb
TerminusDB is a distributed database with a collaboration modelccurtsinger/stabilizer
Stabilizer: Rigorous Performance Evaluationimchipwood/dumbpad
Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Microciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prologc-cube/datalog
An in-memory datalog implementation for OCaml.strangeloop/StrangeLoop2014
Strange Loop 2014 archivesmotools/musicontology
The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.geohot/twitchcoq
It's a poorly named metamath verifiersciguy14/Eagle-Tutorial-Series
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.evoldoers/biomake
GNU-Make-like utility for managing builds and complex workflowsianthehenry/mixologician
optimize your home bar with ✨logic programming✨LHNCBC/SemRep
mndrix/microkanren-prolog
Prolog implementation of microKanrencmungall/sparqlprog
logic programming with SPARQLjan-Lope/Toki_Pona-Parser
Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.Mortimerp9/Prolog-Graphplan
The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial state to a final state. This project provides an open source (GPL v3) implementation of this planner in Prolog.fxs130430/SHAP_FOLD
(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset MiningThe-Public-Radio/Embedded_Hardware
Eagle files, gerbers, BOMs, etcnpe9/aop
Art of Prolog CodeDuke-PL-Course/Prolog
Example Problems and Assignments for PrologFICS/BigMAC
BigMAC: Analysis tool to introspect and query Android security policies.jamesbvaughan/httppl
A simple http server written in Prologcmungall/blipkit
biological logic programming toolkitjinwookjungs/lefdef_util
A LEF/DEF Utility.NikolajSchlej/RushSPI
Open Hardware SPI programmer based on FTDI FT232Htboronczyk/LearnPrologNow
My answers to the exercises in Learn Prolog Now!terminusdb/terminus_store_prolog
Prolog binding for terminusdb-storemndrix/edcg
Extended DCG syntax for Prolog by Peter Van RoyStetsonMathCS/alpaca
ALPACA: A tool for building dynamic cyber ranges from procedurally-generated vulnerability latticesregack/40Pct
The SmallFry 40% Boardmndrix/func
Apply and compose functions in Prologeazar001/yesbot
IRC Bot Written in Prologmikeroyal/Expert-Systems-Guide
Expert Systems Guideianhorswill/MKULTRA
An experimental gamehsfl/artemis-hardware
Hardware design resources for the Artemis Kit, an affordable 1U CubeSat that encompasses all the essential subsystems of a fully operational passive small satellite, commonly known as a smallsat.geeknik/cve-fuzzing-poc
PoCs discovered through fuzzing which resulted in a CVE assignment.nickmain/cchr
Copy of the CCHR Constraint Handling Rules implementation in Ccmungall/cltools
tools for common-logicmadworm/8x8_RGB_LED_Matrix_Controller
LAYOUT FILES: 8x8-RGB-LED-Matrix controller using 4x 74HC595 shift registers. CPU: ATmega168/328. Arduino 'compatible'. Runs with code from 'V3_x_boards_test' repo. KICAD and Gerber files.tiantiangao7/kalm
Knowledge Acquisition Logic Machinemndrix/regex
Regular expressions for Prologleaflabs/oak
Spartan 3E/Cortex M3 interface boardsaraswat/NeuralProgrammerAsProbProg
An attempt to replicate the neural programmer work [Neelakantan et al 2016, 2017] using techniques for learning probability distributions in probabilistic programming languages.mndrix/spawn
Easy concurrency for PrologVivoMind/unicode_data
VivoMind Prolog Unicode Resourcesterminusdb/tus
TUS protocol for resumable file uploads via HTTPfj/cheryls-birthday-prolog
Solving the Cheryl's Birthday problem -- with Prolog!Genivia/Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntaxnasa/MINX
MISR INteractive eXplorershonfeder/tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.mndrix/mavis
Optional types for Prologmndrix/list_util
Prolog list utility predicatesmndrix/jolog
Concurrent and distributed Prolog via join patterns (join calculus)mndrix/dcg_util
DCG utility predicates for Prologciao-lang/ciaopp
The Ciao Preprocessorpaulfaget/PlasmaArcSpeaker
adkelley/prolog-starter
A Starter Template for SWI-Prolog Projectssunilnandihalli/99-problems-in-prolog
my attempt to learn prolog by solving the 99 problems in prolog.. the files named P<int><int>.pl are the original solutions while others are mine...tylergreen/PLisp
A basic lisp interpreter written in prologfinin/pfc
Pfc: adding forward chaining and truth maintenance to Prologcmungall/sparqlprog_wikidata
Prolog module for querying wikidata using sparqlprog frameworkmndrix/miser
Prolog library for building self-optimizing predicatesanglus/fizzbuzz
A collection of fizzbuzz programs in different programming languagestiantiangao7/kalm-qa
mndrix/djson
Declarative JSON library for Prologmndrix/delay
Coroutine versions of built-in Prolog predicatessparkfun/Qwiic_GPS-RTK
A breakout board for the ublox NEO-M8P high precision, RTK ready GNSS module.57Bravo/uConsole_Ext_IO_Breakout
uConsole External I/O Breakoutcodyps/mm
PCB design for the micromouse project @ RU IEEE 2012R-White-0/Medical-Expert-System
A medical expert system for COVID-19 and other medical complications.whitestarballoon/Iridium-Shield
Arduino Shield for the 9602 Satellite Modemhargettp/prolog_lsp
Language Server for Prologblatyo/wumpus
Hunt the Wumpus in Prolog for a school projectkenegozi/kalah-prolog
PROLOG implementation for the kalah game. Created as a project for "PROLOG - aspects for AI" of the Israeli Open Universityjiahuang/avr-isp-shield
Arduino AVR ISP shieldNorthernWidget/ALog-BottleLogger
Arduino-compatible low-power field environmental data logging platform: hardware schematics and circuit board layoutsjohnboiles/tinytrackuino
Small Trackuino-compatible board for transmitting APRS packets over 2m amateur radio.publiux/parseCifp
Parse Coded Instrument Flight Procedures (CIFP) file from the FAA/Aeronav in ARINC424 v18 format into sqlite databaseSWI-PrologTeamLudumDare32/prolog-ludumdare44
Ludum Dare 44 entrybenhuds/wangs-algorithm
Propositional theorem prover using Wang's algorithmGariben/Prolog
Prolog Projects (Artificial Intelligence, Encryption)dustinandrews/Red-Soul
Arduino Compatible board with built in LCDcalphool/Apple_IIGS_MemExpansion
motools/audiofeaturesonto
This ontology express the most common things you may extract automatically from a musical signal, by sub-classing some of the terms defined in the Music Ontology.mndrix/term_diff
Calculate patches between two Prolog termsremexre/hm-prolog
A Hindley-Milner implementation in Prolog.mndrix/sweet
Sugar to make Prolog a little sweeterfusiongyro/conlang
Constructed language doodlesdavidgrier/rayleighsommerfeld
IDL code for analyzing in-line holographic microscopy images with Rayleigh-Sommerfeld back-propagationmndrix/condition
Condition system (a la Common Lisp) for Prolognoahp/swdiso
SWD (serial wire debug) isolation modulecmungall/sql_compiler
Translates logic program queries to SQLdominicgs/PS2_tap
A PS/2 data tap over audio line incmungall/sql_compiler-OLD
Draxler prolog to SQL compilermndrix/interpolate
String interpolation for Prologirllabs/eagle
cmungall/rdfs2pl
RDF schema to prolog compilermayankkt9/Design-Compiler-for-Programming-Language
Rancho - Whole new prgramming language and compiler built using PrologLove Open Source and this site? Check out how you can help us