کتابخانه های نوشته شده با جاوا اسکریپت

open-source-rover

یک مریخ نورد 6 چرخ که خودتان بسازید بر اساس مریخ نوردهای مریخ!
  • 7.3k
  • Apache License 2.0

terminusdb

TerminusDB یک پایگاه داده توزیع شده با یک مدل همکاری است.
  • 2.4k
  • Apache License 2.0

stabilizer

تثبیت کننده: ارزیابی دقیق عملکرد.
  • 523
  • Apache License 2.0

the-constitution-of-japan

  • 423

logtalk3

Logtalk - زبان برنامه نویسی منطقی شی گرا اعلامی.
  • 359
  • Apache License 2.0

dumbpad

Numpad ساده 4x4 با رمزگذار چرخشی. ارائه شده توسط QMK از طریق ATmega32u4 Pro Micro.
  • 299
  • GNU General Public License v3.0 only

BadUSB-Cable

کابل BadUSB مبتنی بر میکروکنترلر Attiny85..
  • 274
  • Creative Commons Attribution 4.0

tar.pl

سازنده تار + استخراج کننده در 100 خط پرولوگ.
  • 248

elpi

مترجم قابل جاسازی Lambda Prolog.
  • 236
  • GNU Lesser General Public License v3.0 only

ciao

Ciao یک پیاده سازی مدرن Prolog است که از یک هسته ساده مبتنی بر منطق طراحی شده است که قابل حمل، توسعه پذیر و ماژولار است.
  • 214
  • GNU Lesser General Public License v3.0 only

metagol

Metagol - یک سیستم برنامه نویسی منطق استقرایی.
  • 175
  • BSD 3-clause "New" or "Revised"

clpz

برنامه نویسی منطقی محدودیت بر روی اعداد صحیح
  • 160

Gleemin

A Magic: سیستم خبره Gathering™.
  • 86

louise

یادگیری فراتفسیری چند جمله ای زمان.
  • 77
  • GNU General Public License v3.0

RTEC

RTEC یک پیاده‌سازی حساب رویدادی است که برای استدلال جریانی بهینه شده است.
  • 71
  • GNU Lesser General Public License v3.0 only

nests-and-insects

RPG رومیزی Roguelike.
  • 50
  • GNU General Public License v3.0 only

sparqlprog

برنامه نویسی منطقی با SPARQL
  • 42

aleph

بندر الف به SWI-Prolog (توسط friguzzi).
  • 36

swipldcgtut

آموزش DCG در swi-Prolog.
  • 29

PRESS

سیستم حل معادلات پرولوگ
  • 28
  • MIT

packages-http

سرور SWI-Prolog HTTP و کتابخانه های سرویس گیرنده.
  • 22

precautionary

تشخیص ایمنی بیمار محور برای آزمایشات افزایش دوز انکولوژی، بررسی ایمنی طراحی در پرتو تنوع بین فردی در PKPD.
  • 20
  • GNU General Public License v3.0

Alpino

تجزیه کننده آلپینو و ابزارهای مرتبط برای هلندی.
  • 18
  • GNU Lesser General Public License v3.0 only

debug_adapter

اجرای پروتکل آداپتور اشکال زدایی (DAP) برای SWI-Prolog.
  • 18
  • MIT

Phenesthe

"Phenesthe" (اصالت φαίνεσθαι) سیستمی برای نمایش و پردازش پدیده های زمانی آنی و ماندگار است.
  • 18
  • GNU General Public License v3.0 only

data-logic

سیستم خبره با پرس و جو قیاسی و تأیید محدودیت ها بیان شده به زبان طبیعی.
  • 14

djota

اجرای Djot در Prolog.
  • 13
  • BSD 3-clause "New" or "Revised"

THELEMA

پایان نامه کارشناسی ارشد من: یک سیستم القاء گرامر.
  • 12
  • GNU General Public License v3.0 only

dfs-tools

ابزارهای معنایی رسمی توزیعی (DFS).
  • 11
  • Apache License 2.0

advent-of-code-2020

راه حل های ظهور کد 2020 (توسط aarroyoc).
  • 9
  • The Unlicense