Skip to content
@integrated-reasoning

Integrated Reasoning

High throughput processors designed for combinatorial optimization

Open Source

Projects

Name Description Status
KeyHippo Issue API keys for your Supabase app with one line of SQL GitHub Actions Workflow Status License: MIT codecov Super-Linter NPM Downloads
mps A fast MPS parser written in Rust ci docs.rs dependency status codecov Docker Image Size (tag) FlakeHub Minimum Stable Rust Version license: MIT
napali Optimization as a service TUI ci docs.rs codecov Docker Image Size (tag) FlakeHub License: MIT

Our Stack

Languages Frameworks Infrastructure Services Tools
C++ CMake Rust Nix Terraform C Haskell YAML TypeScript Nextjs TailwindCSS Three.js shadcnui Prisma NixOS Docker Kubernetes AmazonDynamoDB Ubiquiti AWS Vercel Netlify GitLab CI GitHub Actions Neovim Grafana Prometheus Notion

Contributing

We welcome community contributions to all projects.

License

Licensed under the MIT license.

Get in Touch

Pinned Loading

  1. KeyHippo KeyHippo Public

    Issue API keys for your Supabase app with one line of SQL

    PLpgSQL 10 1

Repositories

Showing 7 of 7 repositories
  • KeyHippo Public

    Issue API keys for your Supabase app with one line of SQL

    integrated-reasoning/KeyHippo’s past year of commit activity
    PLpgSQL 10 MIT 1 3 0 Updated Oct 3, 2024
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection & NixOS

    integrated-reasoning/nixpkgs’s past year of commit activity
    Nix 0 MIT 13,926 0 0 Updated Sep 16, 2024
  • .github Public
    integrated-reasoning/.github’s past year of commit activity
    0 0 0 0 Updated Sep 3, 2024
  • next.js Public Forked from vercel/next.js

    The React Framework

    integrated-reasoning/next.js’s past year of commit activity
    JavaScript 0 MIT 27,461 0 0 Updated Aug 15, 2024
  • mps Public

    A fast MPS parser written in Rust

    integrated-reasoning/mps’s past year of commit activity
    Rust 3 MIT 0 1 4 Updated Aug 15, 2024
  • integrated-reasoning/constraint-network-data’s past year of commit activity
    0 MIT 0 0 0 Updated Apr 2, 2024
  • napali Public

    Optimization as a service TUI

    integrated-reasoning/napali’s past year of commit activity
    Nix 10 MIT 0 0 7 Updated Mar 11, 2024

Top languages

Loading…

Most used topics

Loading…