An interpreter of well-formed formulas in propositional calculus.
☆10Jan 5, 2015Updated 11 years ago
Alternatives and similar repositories for llang
Users that are interested in llang are comparing it to the libraries listed below
Sorting:
- A JavaScript propositional logic and resolution library☆61Sep 19, 2017Updated 8 years ago
- Kotlin 프로그래밍 언어 웹사이트☆11Jun 2, 2015Updated 10 years ago
- 자바스크립트 앱을 위한 예측 가능한 상태 컨테이너☆16Mar 27, 2022Updated 3 years ago
- chaintools are unix like tools but with a pythonic syntax☆20Jun 26, 2015Updated 10 years ago
- A python package to automate downloads of Salesforce Weekly Data Exports☆10Jan 26, 2021Updated 5 years ago
- Javelin is a dialect of Lisp. It is designed to be an embedded language (minimal Lisp for the Java Virtual Machine).☆29Oct 4, 2023Updated 2 years ago
- A document describing the HTTP/3 and QUIC protocols☆10Mar 14, 2019Updated 6 years ago
- Meteor project template / boilerplate providing utilities, some global helpers, a list of useful packages and example files.☆10Apr 16, 2016Updated 9 years ago
- Handlebars helper, alternative to built-in partials. Similar to handlebars-helper-partial, but this helper will allow wildcard (glob) pat…☆16Nov 10, 2014Updated 11 years ago
- A platform for managing members of the Alumni Association.☆11Feb 25, 2026Updated last week
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- A DBMS entirely written in bash script☆11Jan 25, 2025Updated last year
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated 10 months ago
- ☆12Mar 4, 2023Updated 3 years ago
- ☆13Aug 25, 2017Updated 8 years ago
- Hello world demonstration for Weblate☆14Jan 20, 2026Updated last month
- go client for baidu/tera☆12Apr 20, 2018Updated 7 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- gentleman's plugin providing retry policy capabilities in your HTTP clients☆11Sep 11, 2017Updated 8 years ago
- Resilient HTTP client for Go built on top of gentleman toolkit☆12Oct 25, 2018Updated 7 years ago
- Intercept, modify and/or ignore chunks data and events in any readable stream☆11Sep 26, 2015Updated 10 years ago
- The Meteor 1.4 For Everyone Tutorial Series Code☆11Sep 17, 2016Updated 9 years ago
- Automate some common Turo work that I have to do manually☆11Aug 1, 2018Updated 7 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- A collection of algorithms and data structures implemented in the python programming language. Nothing serious, just a training canvas fo…☆11Feb 13, 2019Updated 7 years ago
- Meteor Leaderboard Example with PostgreSQL backend☆10Aug 27, 2015Updated 10 years ago
- An SQL -> NoSQL compiler for data aggregation☆12Apr 2, 2017Updated 8 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- Control a Sphero BB-8 App-Enabled Droid using WebBluetooth☆13Dec 8, 2019Updated 6 years ago
- ☆10Jun 19, 2020Updated 5 years ago
- use Slack as IRC client, or sync slack and IRC channel..!☆10Mar 14, 2019Updated 6 years ago
- 자바카페 실전안드로이드 스터디용 깃☆11Mar 28, 2015Updated 10 years ago
- Get the IP adresses of Bittorrent Peers☆13Oct 14, 2016Updated 9 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 years ago
- ☆12Mar 15, 2023Updated 2 years ago
- A Clojure Programming Book in Korean☆37Dec 14, 2023Updated 2 years ago
- A 3D implementation of a scene from the first Portal game's "Orientation Video no 1".☆99Jun 3, 2013Updated 12 years ago