Repositories list

• talavarp_feedback

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 12, 2026Jun 12, 2026

• ae.is

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 11, 2026Jun 11, 2026

• claude-code-aristotle-plugin

  Public
  Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4

  leanclaudearistotle+ 2

  leanclaudearistotleclaude-codeclaude-code-plugin

  Lean

  •

  MIT License

  •00 forks•99 stars•00 issues•00 pull requests•Updated Jan 10, 2026Jan 10, 2026

• tolvera

  Public
  Tölvera is a creative medium inspired by artificial life and self-organising systems.

  musiclive-codingopensoundcontrol+ 4

  musiclive-codingopensoundcontrolartificial-lifealifealgoraveinteractive-machine-learning

  Python

  •

  GNU Affero General Public License v3.0

  •3535 forks•9292 stars•66 issues•1212 pull requests•Updated Dec 27, 2025Dec 27, 2025

• strengjavera.ae.is

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 14, 2025Nov 14, 2025

• nordic-permaculture-festival-2025

  Public
  Svelte

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Aug 5, 2025Aug 5, 2025

• hatn.ae.is

  Public
  HTML

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 10, 2025May 10, 2025

• lavablend

  Public
  Lava simulation processes and data in Blender

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 29, 2025Apr 29, 2025

• logic-markers-ai

  Public
  Generate Logic Pro Markers from Video with AI

  musicaisoundtrack+ 6

  musicaisoundtrackfilmfilmmakingscene-recognitionlogic-pro-xlogic-provllm

  Python

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Apr 16, 2025Apr 16, 2025

• tolvera-blender

  Public
  Blender Add-On for Tölvera (experimental)

  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 6, 2025Mar 6, 2025

• breidanes.ae.is

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 5, 2025Jan 5, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 28, 2024Sep 28, 2024