Skip to content
View ytakano's full-sized avatar

Organizations

@SF-TAP @7senses

Block or report ytakano

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
3 stars written in Java
Clear filter

Free and Open Source, Distributed, RESTful Search Engine

Java 76,523 25,840 Updated Apr 15, 2026

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 2,862 252 Updated Apr 11, 2026

This project contains the source code of a tool for generating regular expressions for text extraction: 1. automatically, 2. based only on examples of the desired behavior, 3. without any external …

Java 955 140 Updated Aug 2, 2020