Text-based logic question captcha's for Rails 🚫🤖
Repository Index
47,133 repositories indexed
97–120 of 133 · Most stars
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Lightweight, self hosted platform for building webhooks, scheduled tasks and pages. Implement your logic with Bash, Lua or mRuby
- automation
- bash
- devops
- golang
Predicting Cell Health with Morphological Profiles
- carpenter-lab
- morphological-profiling
- crispr
- cell-painting
Display the behaviour of a realtime program with a scope or logic analyser.
Pragmatic, logical and monochrome theme for Neovim.
A collection of small projects that show possible ways of handling game logic with BabylonJS
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Template helpers for Session, logical operations and debug
- meteor
- meteor-package
- template
- templating
WebLogic Honeypot is a low interaction honeypot to detect CVE-2017-10271 in the Oracle WebLogic Server component of Oracle Fusion Middleware. This is a Remote Code Execution vulnerability.
- security
- security-tools
- honeypot
- deception
ESMira is a tool for running longitudinal studies (ESM, AA, EMA, ...) with data collection and communication with participants being completely anonymous.
- esm
- aa
- ema
- mobile
invoke logic when transitioning between routes or closing window
Quanfima (Quantitative Analysis of Fibrous Materials)
- data-analysis
- material-science
- volumetric-data
- morphological-analysis
An ultra-efficient Neovim based IDE for Python and C/C++ prototyping.
A framework to provide logic designed to prompt users at the ideal moment for a review of your app/software
Java importer skeleton for complicated, business-logic-heavy high-performance Neo4j imports directly from SQL databases, CSV files, etc.
- neo4j
- java
- neo4j-graphaware-framework
This is a small UUID library that implements a chronologically sortable UUID.
Logic and scripting engine for smart home automation, based around MQTT
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
- sharepoint-online
- sharepoint
- workflows
- powerautomate
A production-grade messaging abstraction for Go. It provides a unified API to decouple business logic from various brokers including Kafka, RabbitMQ, RocketMQ, NATS, Redis, and AWS SQS. Featuring built-in OpenTelemetry integration and engineered for high reliability.
A flexible Julia toolkit for high-dimensional cellular profiles
- julia
- morphological-analysis
- high-content-screening
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Swift KVO playground