Discover @ha-mo-we 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.

C#

Clojure

C++

OCaml

Perl

Java

Objective-C

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.

Zig

F#

Swift

Jupyter Notebook

Elm

Objective-C

JavaScript

Rust

More Languages
By Country

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

🇪🇪 Estonia

🇹🇨 Turks and Caicos Islands

🇲🇫 Saint Martin

🇸🇾 Syria

🇰🇿 Kazakhstan

🇨🇺 Cuba

🇳🇷 Nauru

🇧🇿 Belize

All Countries Compare Countries

Racer (@ha-mo-we)

ha-mo-we

Stars
106
Global Rank 199,389 (Top 7 %)
Followers 10
Registered over 10 years ago
Most used languages

Common Lisp
100.0 %

Racer

Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).