Alternatives and similar repositories for blackbird-harrison-ai

Users that are interested in blackbird-harrison-ai are comparing it to the libraries listed below

• Stanford-Blockchain-Club / treehouse-sdk
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Updated 4 months ago
• insidesherpa / shiptivitas-2
  Task 2 for the Learn how to work at a Y Combinator startup on InsideSherpa
  ☆81Updated 10 months ago
• jkirkby3 / BsplineDensity
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆14Updated 3 years ago
• nicolasigor / Sleep-EEG-Event-Detector
  Sleep EEG Event Detector (SEED) model, a deep learning-based detector of sleep spindles and K-complexes
  ☆10Updated last year
• IBM / graph2tac
  Graph-based neural tactic prediction models for Coq.
  ☆14Updated last month
• unclebay143 / nigeria-presidents
  Profile Of NigeriaPresidents who has ruled from 1960 till date
  ☆23Updated last year
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆14Updated last week
• OSCA-Ado-Ekiti / tech-companies-in-africa
  List of tech companies in Africa + their founder+ what industry they are into.
  ☆20Updated 8 months ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• distributeaid / distributeaid.org
  Distribute Aid's website as it is currently online
  ☆32Updated this week
• titiodus / dizzy-eggz
  A time to remember
  ☆44Updated last year
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆19Updated 2 months ago
• insidesherpa / shiptivitas-1
  Task 1 for the Learn how to work at a Y Combinator startup on InsideSherpa
  ☆865Updated 11 months ago
• lindermanlab / hackathons
  Jupyter notebooks from our weekly (or so) hackathons
  ☆11Updated 6 months ago
• Olanetsoft / article-idea-generator
  Generate your next article idea with ease. Powered by OpenAI.
  ☆213Updated 8 months ago
• oOo0oOo / leanclient
  Python client to interact with the lean4 language server.
  ☆18Updated last week
• iamfortune / Technical-Article-Guideline-Template
  A template for writing technical articles and content for new and emerging technical writers
  ☆159Updated last year
• aidecentralized / sonar
  SONAR - Self-Organizing Network of Aggregated Representations
  ☆18Updated last month
• oscafrica / open-source-challenge
  💪🏾 The Open Source Challenge aims to support the tech ecosystem in Africa to contribute to open source projects.
  ☆55Updated 3 years ago
• shaydeecoder / github-class
  ☆15Updated 4 years ago
• Topman-14 / InfoHub
  InfoHub - your one-stop destination for the most recent headlines and breaking news
  ☆10Updated last year
• BolajiAyodeji / altschool-profile-template
  The official README profile template for AltSchool Africa students.
  ☆40Updated 10 months ago
• lego-build / lego-build
  Lego-build is a flexible command-line application that makes development fun again by automating routine tasks.
  ☆51Updated last year
• Cloudlordd / Cloudlord-and-pals
  Trying to create something unique
  ☆8Updated last year
• preshpi / SupportHive
  Discover an easy and effective way to raise funds for personal initiatives, charitable projects, and friends in need.
  ☆75Updated 4 months ago
• zuri-training / Favicon_gen-Team-68
  Favicon web app generator
  ☆16Updated 2 years ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• teamNewDev / jobhunt
  A job application manager that helps you organize in one place and track every stage of multiple job applications.
  ☆35Updated last year
• kth-step / itppv-course
  Interactive Theorem Proving course using HOL4
  ☆11Updated 2 years ago
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆21Updated 2 weeks ago