# ha-mo-we/Racer

<https://repo.masters-masters.com/en/repos/ha-mo-we/Racer>

[Home](https://repo.masters-masters.com/en) › [ha-mo-we](https://repo.masters-masters.com/en/owners/ha-mo-we) › [Racer](https://repo.masters-masters.com/en/repos/ha-mo-we/Racer)

ha-mo-we/Racer has 117 stars on GitHub. Its RepoMasters card: Prototype tier. Racer is a knowledge representation system that implements a highly optimized…

| Field | Value |
| --- | --- |
| Owner | [ha-mo-we](https://repo.masters-masters.com/en/owners/ha-mo-we) |
| Stars | 117 |
| Forks | 21 |
| Language | [Common Lisp](https://repo.masters-masters.com/en/languages/common-lisp) |
| License | None |
| Created | 2014 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ha-mo-we/Racer](https://github.com/ha-mo-we/Racer) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Common Lisp

- [madnificent/jsown · ★ 117 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/madnificent/jsown)
- [sharplispers/local-time · ★ 117 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/sharplispers/local-time)
- [Shinmera/LASS · ★ 117 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/Shinmera/LASS)
- [ageneau/ecl-android · ★ 116 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/ageneau/ecl-android)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.