Skip to content
Change the repository type filter

All

    Repositories list

    • opencode

      Public
      The open source coding agent: with SIFT additions
      TypeScript
      MIT License
      24k000Updated Jul 14, 2026Jul 14, 2026
    • Situation Calculus in ErgoAI
      0000Updated May 24, 2026May 24, 2026
    • Lifted implementation of the plan repair by rewrite algorithm.
      Common Lisp
      0000Updated Apr 28, 2026Apr 28, 2026
    • SIFT, LLC GitHub pages
      0000Updated Mar 4, 2026Mar 4, 2026
    • metric-ff

      Public
      SIFT fork of Metric-FF 2.0 with local patches
      0200Updated Dec 23, 2025Dec 23, 2025
    • AIxCC Semi-finals 2024 CRS Submission
      C++
      MIT License
      0100Updated Aug 24, 2025Aug 24, 2025
    • AIxCC Finals 2025 CRS Submission
      C++
      MIT License
      3900Updated Aug 24, 2025Aug 24, 2025
    • funman

      Public
      Jupyter Notebook
      MIT License
      5162Updated May 2, 2025May 2, 2025
    • lmcas

      Public
      Lightweight, Multi-Stage, Compiler-Assisted Application Specialization
      C++
      0100Updated Oct 8, 2024Oct 8, 2024
    • A base image used to bootstrap Nix-based projects.
      Nix
      MIT License
      0000Updated Sep 26, 2023Sep 26, 2023
    • cl-async

      Public
      Asynchronous IO library for Common Lisp.
      Common Lisp
      MIT License
      38000Updated Jun 16, 2023Jun 16, 2023
    • cl-libuv

      Public
      Libuv CL bindings
      Common Lisp
      MIT License
      10000Updated May 24, 2023May 24, 2023
    • schemata

      Public
      Schema serialization, validation and parsing for Common Lisp
      Common Lisp
      5000Updated Apr 12, 2023Apr 12, 2023
    • monroe2

      Public
      Revised version of Nate Blaylock's "Monroe" random plan-generator.
      Common Lisp
      BSD 3-Clause "New" or "Revised" License
      0001Updated Mar 31, 2023Mar 31, 2023
    • lparallel

      Public
      Parallelism for Common Lisp
      Common Lisp
      BSD 3-Clause "New" or "Revised" License
      31000Updated Nov 3, 2022Nov 3, 2022
    • Repository for experiments used in QR-2015 paper.
      HTML
      0000Updated Jan 7, 2022Jan 7, 2022
    • cl4py

      Public
      Common Lisp for Python
      Python
      MIT License
      16102Updated Nov 18, 2021Nov 18, 2021
    • SciClaim

      Public
      A dataset of fine-grained knowledge graphs of scientific claims
      21700Updated Sep 24, 2021Sep 24, 2021
    • owlready2

      Public
      Python
      GNU Lesser General Public License v3.0
      33000Updated Jul 27, 2021Jul 27, 2021
    • Convert OpenAPI definitions into JSON schemas for all types in the API
      Python
      Other
      94000Updated Feb 12, 2021Feb 12, 2021
    • Ceph RADOS Gateway admin operations
      Python
      GNU General Public License v3.0
      22000Updated Oct 7, 2020Oct 7, 2020
    • lisp code generator for swagger
      Common Lisp
      Other
      8230Updated Jun 5, 2020Jun 5, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.