Discover @bishoksan Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

CSS

Shell

Ruby

C

Swift

Solidity

Nix

Assembly

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

MATLAB

Clojure

Java

C++

Groovy

Go

Elm

Python

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇫🇯 Fiji

🇲🇿 Mozambique

🇳🇷 Nauru

🇩🇰 Denmark

🇺🇾 Uruguay

🇬🇮 Gibraltar

🇸🇸 South Sudan

🇨🇷 Costa Rica

All Countries Compare Countries

Bishoksan (@bishoksan)

bishoksan

Stars
19
Global Rank 658,496 (Top 23 %)
Followers 2
Registered over 9 years ago
Most used languages

Prolog
60.0 %

Java
40.0 %
Location 🇦🇺 Australia
Country Total Rank 9,158
Country Ranking

Prolog
4

Java
1,437

RAHFT

RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata

LHornSolver

A linear Horn clause solver for non-linear Horn clauses.

PI-Horn

Preconditions inferrer for Horn clauses

DFTA

Determinisation and Completion of Finite Tree Automata

SoMoLIAInterpolant

Interpolant generation for Modular LIA