Skip to content
View ym-han's full-sized avatar
18 followers · 323 following
Block or Report

Block or report ym-han

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Lists (32)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Type: All
Language: Java
Sort by: Most stars
8 stars written in Java
Clear filter

OpenRefine / OpenRefine

OpenRefine is a free, open source power tool for working with messy data and improving it

Java 10,702 1,936 Updated Aug 9, 2024

typedb / typedb

TypeDB: the polymorphic database powered by types

Java 3,738 338 Updated Aug 9, 2024

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming

Java 147 8 Updated Oct 15, 2023

boyland / sasylf

Educational Proof Assistant for Type Theory

Java 72 9 Updated Aug 5, 2024

brentn / StenoTray

Autolookup tool to work alongside Plover stenography software

Java 38 12 Updated May 12, 2021

aleksandarmilicevic / hola

Alloy*---Higher Order Logic for Alloy

Java 37 1 Updated Dec 28, 2019

neulab / tranX-plugin

A plugin for code generation in PyCharm/IntelliJ using tranX

Java 35 Updated May 13, 2022

pf7 / QAlloy

Forked from AlloyTools/org.alloytools.alloy

Quantitative extension of Alloy.

Java 1 1 Updated Nov 9, 2022