Pinned Loading

1. LogicSkills LogicSkills Public

   dataset and benchmark for AI Reasoning

   Python

2. farmseed farmseed Public

   A seed for developing web applications using the FARM stack (FastAPI, React, MongoDB)

   Python 1

3. symbolify_it symbolify_it Public

   an interface for predicate logic symbolization exercises

   TypeScript 1 1

4. entailnet entailnet Public

   a python framework for encoding and propagating entailment graphs

   Python

5. voiceAgent voiceAgent Public

   An AI-powered voice agent that makes phone calls, schedules appointments, and generates call summaries. This agent can make outbound calls, interact with users in real time, and use tools to schedu…

   Python 1 2

6. ling_lens ling_lens Public

   A modular engine that breaks sentence acceptability into syntax, felicity, and processing strain, scored by independent LLM judges and combined by a rule-based meta-judge.

   Python