gogenCommand-line tool to generate GO applications and libraries
Stars: ✭ 17 (-19.05%)
illogicalA micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.
Stars: ✭ 16 (-23.81%)
dbsSQL Builder 工具,给爱拼 SQL 的你。
Stars: ✭ 47 (+123.81%)
docker-bakeryDockerfile hierarchy management tool with automatic rebuilding of dependent images when parent changes
Stars: ✭ 30 (+42.86%)
makestudioSetup your Delphi Environment very easily - build your projects with more comfort
Stars: ✭ 43 (+104.76%)
ioBroker.linkeddevicesCreate linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.
Stars: ✭ 17 (-19.05%)
dambAn advanced module builder for Dolibarr ERP/CRM
Stars: ✭ 14 (-33.33%)
ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Stars: ✭ 190 (+804.76%)
SMCDELA symbolic model checker for Dynamic Epistemic Logic.
Stars: ✭ 31 (+47.62%)
ChromeAppBuilderChrome app builder is an editor extension for Unity to export games as google chrome apps.
Stars: ✭ 23 (+9.52%)
oasis-sdkOfficial SDK for the Oasis Network.
Stars: ✭ 57 (+171.43%)
as-string-sinkAn efficient dynamically sized string buffer (aka String Builder) for AssemblyScript
Stars: ✭ 23 (+9.52%)
truth-table-generatortruth-table-generator is a tool that allows to generate a truth table
Stars: ✭ 47 (+123.81%)
flhooksReact like Hooks implementation for Flutter.
Stars: ✭ 38 (+80.95%)
LPL-solutionsSolutions for the book "Language Proof and Logic".
Stars: ✭ 51 (+142.86%)
awesome-rust-formalized-reasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Stars: ✭ 185 (+780.95%)
designable🧩 Make everything designable 🧩
Stars: ✭ 2,156 (+10166.67%)
nunchakuModel finder for higher-order logic
Stars: ✭ 40 (+90.48%)
builder🍉 Build scenes for Decentraland
Stars: ✭ 141 (+571.43%)
spec-patternSpecification design pattern for JavaScript and TypeScript with bonus classes
Stars: ✭ 43 (+104.76%)
consistencyImplementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (+23.81%)
ngx-aws-deploy☁️🚀 Deploy your Angular app to Amazon S3 directly from the Angular CLI 🚀☁️
Stars: ✭ 84 (+300%)
flutter sticky and expandable list粘性头部与分组列表Sliver实现 Build a grouped list, which support expand/collapse section and sticky headers, support use it with sliver widget.
Stars: ✭ 116 (+452.38%)
xhttpTiny shortcuts for using the native fetch API. Provides a fluent builder-style API for request building and response reading.
Stars: ✭ 31 (+47.62%)
SilentCryptoMinerA Silent (Hidden) Free Crypto Miner Builder - Supports ETH, ETC, XMR and many more.
Stars: ✭ 547 (+2504.76%)
typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+14909.52%)
Nginx-builderA tool to build deb or rpm package of required Nginx version from the source code, with the ability to connect third-party modules. Nginx parameters are set in the yaml configuration file.
Stars: ✭ 143 (+580.95%)
tailwindcss-dash-docsetTailwindCSS Dash Docset, built with the Dash Docset Builder in PHP. We needed it. 🌈️
Stars: ✭ 37 (+76.19%)
AdvancedSQLThe best Java query builder/SQL connector.
Stars: ✭ 23 (+9.52%)
Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Stars: ✭ 29 (+38.1%)
sphinx-jekyll-buildersphinx builder that outputs jekyll compatible markdown files with frontmatter
Stars: ✭ 18 (-14.29%)
lombok-rsLombok port for Rust
Stars: ✭ 31 (+47.62%)
ocibuilderA tool to build OCI compliant images
Stars: ✭ 63 (+200%)
fliphubthe easiest app builder
Stars: ✭ 30 (+42.86%)
DPBDynamic Project Builder
Stars: ✭ 22 (+4.76%)
PrimeAdapterPrimeAdapter makes working with RecyclerView easier.
Stars: ✭ 54 (+157.14%)
Awesome-Neural-LogicAwesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+404.76%)
awesome-sql-builderA small library for building SQL queries in a better way than regular string concatenation.
Stars: ✭ 44 (+109.52%)
dauntless-builderCreate and share Dauntless builds with your friends!
Stars: ✭ 50 (+138.1%)
blocA predictable state management library that helps implement the BLoC design pattern
Stars: ✭ 12 (-42.86%)
SwiftBuilderSwiftBuilder is a fast way to assign new value to the property of the object.
Stars: ✭ 26 (+23.81%)
Uix-Page-BuilderUix Page Builder is a design system that it is simple content creation interface.
Stars: ✭ 20 (-4.76%)
maestroFaster CI/CD for multi-artifact projects
Stars: ✭ 13 (-38.1%)
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (+119.05%)
smaller-sitesSmaller Sites is a small BUT Powerful, free and easy to use drag and drop builder for blogs, websites or e-commerce stores. Designed for everyone Developers and non Developers. You can use it to design your next website. The goal is to create something like webflow
Stars: ✭ 27 (+28.57%)
switchSwitch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.
Stars: ✭ 22 (+4.76%)
CSCv2Version 2 of my Crazy Small CPU
Stars: ✭ 53 (+152.38%)
elastic-composerClient-side Elasticsearch query generator and executor. Filter fields, find search suggestions, and paginate query results for your indicies using a simple, reactive, and high-level API
Stars: ✭ 14 (-33.33%)
SilentETHMinerA Silent (Hidden) Ethereum (ETH & ETC) Miner Builder
Stars: ✭ 219 (+942.86%)
Scripts-SploitsA number of scripts POC's and problems solved as pentests move along.
Stars: ✭ 37 (+76.19%)
patternsGood practices to create code in Java, open to other languages. ⚡
Stars: ✭ 14 (-33.33%)
discrete-math-python-scriptsPython code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+366.67%)
theolog-ss2017Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-14.29%)