173 Open source projects that are alternatives of or similar to ostrich

Resolution theorem proving for predicate logic in pure Python.

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

🔍 Swirl course on regular expressions and the regex family of functions in R

💪 Helper Utils For The Go: string, array/slice, map, format, cli, env, filesystem, test and more. Go 的一些工具函数，格式化，特殊处理，常用信息获取等等

The lib CBioInfCpp.h contains 3 groups of functions for C++: "Input-Output", "Working with strings", "Working with graphs". Data structures "Adjacency vector" and "Adjacency map" are implemented in the last one (i.e. in "Working with graphs"). See About_CBioInfCpp for details.

Solution to LeetCode Problems in Python and Golang 🎯

Regular expression matching for URL's. Maintained, safe, and browser-friendly version of url-regex. Resolves CVE-2020-7661 for Node.js servers.

💯 Super fast unicode-aware string manipulation Javascript library

Easy access of environment variables from Python with support for typing (ex. booleans, strings, lists, tuples, integers, floats, and dicts). Now with CLI settings file converter.

FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.

Data Structures and Algorithms in Java

AlgoExpert is an online platform that helps software engineers to prepare for coding and technical interviews.

Learn Ruby Regexp step by step from beginner to advanced levels with plenty of examples and exercises

Ex 1 - Run timed quizzes via the command line

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Inline expression interpolation for Rust.

Razor is a tool for constructing finite models for first-order theories

Our open source benchmarks and code samples

Metarhia Common Library

elf-strings will programmatically read an ELF binary's string sections within a given binary. This is meant to be much like the strings UNIX utility, however is purpose built for ELF binaries.

Deterministic Regular Expressions with Backreferences

Handle ANSI escape codes in strings

A set of useful functions for transforming strings.

A modular sat/smt solver with proof output.

Study group for algorithms in Ruby, hosted at App Academy

Ruby gem (native extension in Rust) providing implementations of various string metrics

An inference engine for extensional untyped λ-calculus

Replace text in webpages

🔩 Simple way to use the Bolt database

This Repository consists of my solutions💡 in Python 3 to various problems in Data Structures and Algorithms.🎖️

Minimal, super readable string pattern matching for python.

A .NET port of java-string-similarity

A handy Python library to validate, manipulate and generate strings

A PHP string manipulation library with multibyte support

covers python basic to advance topics, practice questions, logical problems in python, web development using html, css, bootstrap, jquery, DOM, Django 🚀🚀. 💥 🌈

A collection of useful utility functions

Book: Gentle Introduction to Dependent Types with Idris

Finds degree of similarity between two strings, based on Dice's Coefficient, which is mostly better than Levenshtein distance.

POEditor CLI

Localization of the application with ability to change language "on the fly" and support for plural form in any language.

No description or website provided.

str: yet another string library for C language.

TokenQuery (regular expressions over tokens)

Xcode Playground Sample Code for the Flight School Guide to Swift Strings

The ultimate chat solution. Prevent spam, ads, swears and even bots on your server. Replaced by ChatControl Red: https://mineacademy.org/chatcontrol-red

🪁 Android Resources Wrapper Library

String utilities for Go

This is our effort to collect the best implementations to tough algorithms. All codes are written in c++.

A collection of algorithms and data structures

⏱ Superfast ^Advanced wildcards++? | Unique algorithms that was implemented on native unmanaged C++ but easily accessible in .NET via Conari (with caching of 0x29 opcodes +optimizations) etc.

Generate random strings or numeric values

A JavaScript implementation of Python's negative indexing and extended slice syntax.

Generate Android & iOS localized strings from a csv.

Solidity standard library (Array, random, math, string)

A string library

Send Emails In One Click With Python.

bigint is a C++ library which can handle Very very Big Integers. It can calculate factorial of 1000000... it can go any big. It may be useful in Competitive Coding and Scientific Calculations which deals with very very large Integers. It can also be used in Decryption process. It has many inbuilt functions which can be very useful.

A functional programming library designed to simplify building complex regular expressions

A python script that helps you create strings.xml for all languages in different hierarchical folder(using Google Translation API)

Java library for creating readable regular expressions