Skip to content
Change the repository type filter

All

    Repositories list

    • Cognotik

      Public
      AI productivity platform — 'AI that works like software, not chat.' Hosted SaaS + open-source local-first app with 8+ model providers, agentic workflows, and a …
      Kotlin
      Apache License 2.0
      4730Updated Jul 26, 2026Jul 26, 2026
    • qqn-jax

      Public
      Quadratic Quasi-Newton (QQN) optimizer, natively implemented in JAX and packaged as a drop-in Optax GradientTransformation.
      Python
      Apache License 2.0
      0000Updated Jul 25, 2026Jul 25, 2026
    • Mathematical Explorations — original interactive in-browser mathematical research labs and essays (Pentagonal Lattice Geometry, Geometric Entropy, Spacelike Kno…
      HTML
      Apache License 2.0
      0000Updated Jul 23, 2026Jul 23, 2026
    • JavaScript
      0000Updated Jul 10, 2026Jul 10, 2026
    • .github

      Public
      0000Updated Jul 4, 2026Jul 4, 2026
    • C++
      Apache License 2.0
      0000Updated Jun 27, 2026Jun 27, 2026
    • Zero-dependency browser PWA — an arcade game collection powered by Conway's Game of Life and 50+ cellular-automata rulesets, with a pluggable CPU/WebGL2 backend…
      JavaScript
      GNU Lesser General Public License v3.0
      0000Updated Jun 15, 2026Jun 15, 2026
    • HTML
      0000Updated Mar 7, 2026Mar 7, 2026
    • Build Tool Integrations using Cognotik (Gradle & Github Actions)
      Java
      0022Updated Jan 19, 2026Jan 19, 2026
    • Quadratic Quasi-Newton optimizer — a novel method with formal convergence proofs and a 72.6% benchmark win rate. Rust benchmarking framework + production-grade …
      Rust
      MIT License
      0302Updated Dec 28, 2025Dec 28, 2025
    • luminal

      Public
      Deep learning at the speed of light.
      Rust
      Apache License 2.0
      214000Updated Dec 28, 2025Dec 28, 2025
    • JavaScript
      Apache License 2.0
      0000Updated Dec 27, 2025Dec 27, 2025
    • FormalLaw

      Public
      Translating Human Law into Formal Code
      C
      Apache License 2.0
      0000Updated Dec 13, 2025Dec 13, 2025
    • Java
      0000Updated Dec 12, 2025Dec 12, 2025
    • C
      Apache License 2.0
      0000Updated Dec 12, 2025Dec 12, 2025
    • A toolkit for implementing Reference Counting resource management in Java
      Java
      Apache License 2.0
      0000Updated Nov 28, 2025Nov 28, 2025
    • Coding tools for Intellij using the OpenAI API
      Kotlin
      Apache License 2.0
      1868141Updated Oct 14, 2025Oct 14, 2025
    • MailDB

      Public
      TypeScript
      0000Updated Aug 8, 2025Aug 8, 2025
    • 0001Updated Apr 22, 2025Apr 22, 2025
    • SkyeNet

      Public
      A helpful pup
      Kotlin
      Apache License 2.0
      1201Updated Apr 22, 2025Apr 22, 2025
    • Kotlin
      0020Updated Apr 22, 2025Apr 22, 2025
    • jo-penai

      Public
      A Java OpenAI Client
      Kotlin
      Apache License 2.0
      5100Updated Apr 21, 2025Apr 21, 2025
    • Kotlin
      Apache License 2.0
      0000Updated Apr 18, 2025Apr 18, 2025
    • JavaScript
      0000Updated Sep 25, 2024Sep 25, 2024
    • Various utilities
      TypeScript
      Apache License 2.0
      0000Updated Aug 25, 2024Aug 25, 2024
    • html-games
      JavaScript
      Apache License 2.0
      0000Updated Aug 25, 2024Aug 25, 2024
    • Kotlin
      0008Updated Jul 5, 2024Jul 5, 2024
    • DataGnome

      Public
      Full Text Index and Persistent STM System
      Kotlin
      Apache License 2.0
      0000Updated Jun 12, 2024Jun 12, 2024
    • ada-school-games
      JavaScript
      Apache License 2.0
      0000Updated May 16, 2024May 16, 2024
    • projog

      Public
      Prolog for the JVM
      Java
      Apache License 2.0
      9000Updated Jan 3, 2024Jan 3, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.