Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/julianmendez/jcel
Reasoner for the description logic EL+.
automated-reasoning description-logics java jcel owl-api protege-plugin tu-dresden
Last synced: 02 Jul 2024
![](https://github.com/julianmendez.png)
https://julianmendez.github.io/cel/
A lightweight Description Logic reasoner for large-scale biomedical ontologies
automated-reasoning java lisp owl-api protege-plugin tu-dresden
Last synced: 02 Jul 2024
![](https://github.com/julianmendez.png)
https://github.com/sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification
Last synced: 22 May 2024
![](https://github.com/sarsko.png)
https://github.com/julianmendez/cel
A lightweight Description Logic reasoner for large-scale biomedical ontologies
automated-reasoning java lisp owl-api protege-plugin tu-dresden
Last synced: 23 Apr 2024
![](https://github.com/julianmendez.png)
https://github.com/dex3r/GPT-Codemaster
Automatic programming by creating Pull Requests from Issues using LLMs
ai automated-programming automated-reasoning automation chatgpt gpt-4 gpt-api llm openai openai-api programming
Last synced: 08 Apr 2024
![](https://github.com/dex3r.png)