anjlab/sat3

Stars
87
Rank 378,873 (Top 8 %)
Language
Java
License
GNU Lesser Genera...
Created about 14 years ago
Updated almost 9 years ago

anjlab/sat3

anjlab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

android-inapp-billing-v3

A lightweight implementation of Android In-app Billing Version 3

bootstrap-rails

Twitter Bootstrap CSS (with Sass flavour) and JS toolkits for Rails 3 projects

rails-data-migrations

Run your data migration scripts like a master

android-sms-gateway

Simple SMS gateway running on Android

rubyfish

RubyFish is a ruby port of python library jellyfish (http://github.com/sunlightlabs/jellyfish) for doing approximate and phonetic matching of strings

anjlab-widgets

UI Widgets on top of anjlab-bootstrap-rails

inputs

HTML form inputs with pure CSS and a little bit JS magic.

yandex-disk

Ruby client for Yandex.Disk with backup gem support

pushapp

sublime-text-git-autocommit

Enables auto-commit for selected Git repos (install Git plugin first)

paranoid2

paranoid models for rails 4

graphql_authorize

Authorization helpers for ruby-graphql fields

bootstrap-glyphicons

bootstrap glyphicons

eclipse-tapestry5-plugin

Eclipse Plugin for Tapestry5

db-switch

Simple database connection switcher for Rails 5

triggerable

Trigger/automation engine for ActiveRecord models

uploads

simple uploads for rails

redmine_inline_note_images_plugin

Redmine plugin for inline note images display

elk_rails_sample

A sample app demonstrating a usage of ELK logging stack for Rails apps

jquery-infinite-scroll

JQuery plugin for ajax-enabled infinite page scroll

anjlab-tapestry-commons

excel2csv-ruby

Wrapper around anjlab/excel2csv-java POI CLI

logback-hipchat-appender

Logback Appender for HipChat

ping-service

AnjLab Ping Service

JJ

Super simple json parser for Swift

csv2db

csv2db command line tool

excel2csv-java

Excel 2 CSV Command Line Tool

techtalks

Jupyter Notebook

SafeURL

Swift safe NSURL Builder

gradle-sysdeo-tomcat-plugin

Gradle plugin for generating ".tomcatplugin" artifact for Sysdeo Eclipse Tomcat Launcher Plugin

pusher.io

Socket.io for Rails

devise_oauth

The OAuth 2.0 Authorization Framework draft-ietf-oauth-v2-28 implementation on top of devise.

db2excel-java

sunspot_offline

Offline extension for your Solr + Sidekiq setup

mechanize_clip

mechanize url fetcher for paperclip

bookmarklets

AnjLab Bookmarklets

cubics

ssf4j

Simple Sorting Facade for Java (SSF4J)

msword-ruby

smpp_encoding

GSM and UNICODE encoders for smpp-ruby gem

db2excel-ruby

SwiftlyNotice