automated-reasoning

Open-source projects categorized as automated-reasoning
Edit details
Language: + Rust + C# + JavaScript
Topics: gpt-api production-rules openai sat Rust
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 3 automated-reasoning Open-Source Projects

automated-reasoning

  • CreuSAT

    CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • GPT-Codemaster

    Automatic programming by creating Pull Requests from Issues using LLMs

  • reasoner.js

    (experimental) Conceptual s-expression based typed term graph rewriting system

    • Project mention: [microblog] Reasoner.js: a functional-logic framework for automated reasoning | /r/ProgrammingLanguages | 2023-11-19

    As usual, there is online playground and the project home page.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

automated-reasoning discussion

Log in or Post with

automated-reasoning related posts

  • [microblog] Reasoner.js: a functional-logic framework for automated reasoning

    1 project | /r/ProgrammingLanguages | 19 Nov 2023

  • [Checkpoint] Reasoner.js typed graph rewriting system got variables

    1 project | /r/ProgrammingLanguages | 3 Aug 2023

  • [checkpoint] Reasoner.js: non-deterministic reasoning done right

    1 project | /r/ProgrammingLanguages | 30 Mar 2023

  • Experimental project to automatically complete GitHub Issues with code from GPT4

    1 project | /r/CKsTechNews | 25 Mar 2023

  • Experimental project to automatically complete GitHub Issues using GPT-4

    1 project | news.ycombinator.com | 25 Mar 2023

  • I got API access, it seems like OpenAI started the rollout

    2 projects | /r/OpenAI | 16 Mar 2023

  • I've created a project to replace myself: an automated programmer - solving GitHub Issues with Pull Requests using GPT-4

    1 project | /r/ChatGPT | 25 Mar 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 16 Jun 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

What are some of the best open-source automated-reasoning projects? This list will help you:

Project Stars
1 CreuSAT 594
2 GPT-Codemaster 53
3 reasoner.js 29

Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com