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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A JavaScript propositional logic and resolution library☆61Sep 19, 2017Updated 9 years ago
- A JavaScript propositional logic library.☆11Aug 3, 2026Updated 2 months ago
- ⚛️⚡️ AsyncStorage manager library for React Native☆10Aug 21, 2018Updated 8 years ago
- Base repository with generic software components☆11Sep 8, 2026Updated last month
- An example showing codemirror and choo☆13May 27, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Mar 4, 2023Updated 3 years ago
- Clone to try a simple Electron app☆12Dec 24, 2017Updated 8 years ago
- A platform for managing members of the Alumni Association.☆10Oct 21, 2026Updated last week
- 🌐⚡️LocalStorage manager library for JavaScript☆14Sep 7, 2018Updated 8 years ago
- An SQL -> NoSQL compiler for data aggregation☆12Apr 2, 2017Updated 9 years ago
- A simple markdown component for choo-js☆14Jan 19, 2017Updated 9 years ago
- Meteor Leaderboard Example with PostgreSQL backend☆10Aug 27, 2015Updated 11 years ago
- Scripts and notes for setting up a KA Lite server on a Raspberry Pi in Access Point mode☆14Feb 2, 2014Updated 12 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Exokernel for the consumer☆36Apr 15, 2019Updated 7 years ago
- Kotlin 프로그래밍 언어 웹사이트☆11Jun 2, 2015Updated 11 years ago
- Meteor project template / boilerplate providing utilities, some global helpers, a list of useful packages and example files.☆10Apr 16, 2016Updated 10 years ago
- Sample repository that would demonstrate how to use jest with ESM module☆24Jan 16, 2019Updated 7 years ago
- Flow Router and Blaze example☆11Aug 24, 2015Updated 11 years ago
- A spaCy extension wrapping around the arguing lexicon by MPQA☆10Aug 28, 2022Updated 4 years ago
- A DBMS entirely written in bash script☆11Jan 25, 2025Updated last year
- A python package to automate downloads of Salesforce Weekly Data Exports☆10Jan 26, 2021Updated 5 years ago
- DeepDip, a DRL Gym agent that plays no-press Diplomacy in BANDANA☆13Jul 22, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An Efficient JavaScript Unification Library☆19Feb 10, 2015Updated 11 years ago
- the demo is working, and updates using live query☆11Nov 24, 2015Updated 10 years ago
- Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.☆10Sep 11, 2026Updated last month
- OrientDb package for meteor☆15Jul 21, 2015Updated 11 years ago
- Conheça os participantes e suas soluções da Rinha de Back end 2025, a competição mais aguardada do ano!☆14Sep 27, 2025Updated last year
- ☆15May 22, 2022Updated 4 years ago
- Performs automated backups of SalesForce.com data.☆11Jun 22, 2022Updated 4 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Authoring platform for OpenCourseWare☆17Sep 30, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Mar 1, 2023Updated 3 years ago
- A simple bot-vs-bot Battleships webgame☆17Jun 25, 2015Updated 11 years ago
- NodeJS REST API framework☆17Oct 16, 2017Updated 9 years ago
- Node.js application (AWS Elastic Beanstalk friendly) for bridging Salesforce Platform Events to AWS SNS topics☆11Dec 10, 2022Updated 3 years ago
- Go Serverless with Salesforce Platform Events using AWS Lambda☆12Mar 20, 2020Updated 6 years ago
- Broken Promises - Everything you should NOT do while using JavaScript Promises 🔥🤯☆17Oct 18, 2022Updated 4 years ago
- A sensible version of the US-International keyboard layout with AltGr dead keys for Windows (KLC, AHK, or PKL), Mac (Keylayout), and Linu…☆33Aug 1, 2026Updated 3 months ago