yagipy/althea external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

yagipy/althea

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/yagipy/althea)

Close

yagipy / altheaView on GitHubMore

• External links
• Readme badge

Althea is a programming language providing reference counting with ownership analysis.

☆24Jul 21, 2024Updated last year

Alternatives and similar repositories for althea

Users that are interested in althea are comparing it to the libraries listed below

• Yuta1004 / SysDC

  View on GitHub
  設計支援言語 / SecHack365
  ☆10Mar 3, 2023Updated 3 years ago
• caprese-project / caprese

  View on GitHub
  Caprese is a microkernel that protects resources with capability-based security.
  ☆19Feb 18, 2024Updated 2 years ago
• ciniml / fpga_samples

  View on GitHub
  FPGA samples
  ☆25Sep 25, 2025Updated 5 months ago
• desktopgame / bone

  View on GitHub
  プログラミング言語bone
  ☆25Oct 25, 2019Updated 6 years ago
• Iwancof / RFRaptor

  View on GitHub
  Within the bounds of the law. supported by SecHack365
  ☆30Jan 31, 2025Updated last year
• yagipy / maintidx

  View on GitHub
  maintidx measures the maintainability index of each function.
  ☆76Dec 27, 2024Updated last year
• nanikamado / cotton

  View on GitHub
  A programming language
  ☆70Nov 27, 2023Updated 2 years ago
• hapo31 / charcoal

  View on GitHub
  https://hapo31.github.io/charcoal
  ☆11Dec 27, 2020Updated 5 years ago
• ciniml / seccamp_riscv_cpu

  View on GitHub
  セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場
  ☆39Apr 11, 2025Updated 10 months ago
• janparkio / 3d-presentation-godotengine

  View on GitHub
  An open source 3d slide presentation for the Godot Engine
  ☆11Aug 3, 2017Updated 8 years ago
• AtomScott / Sportech-Sanity

  View on GitHub
  ☆11Oct 27, 2019Updated 6 years ago
• invopop / gobl.verifactu

  View on GitHub
  Convert GOBL into VeriFactu documents and send to the AEAT
  ☆13Feb 18, 2026Updated 2 weeks ago
• mattn / go-ozzo-validation-example

  View on GitHub
  ☆11Jan 2, 2024Updated 2 years ago
• harryposner / schlox

  View on GitHub
  An implementation of the Lox programming language
  ☆10Nov 24, 2020Updated 5 years ago
• Totsugekitai / tvisor-kmod

  View on GitHub
  Hypervisor from scratch in linux
  ☆13May 8, 2022Updated 3 years ago
• wasm-fmt / gofmt

  View on GitHub
  A WASM Based Golang Formatter
  ☆11Updated this week
• honeycombio / loadgen

  View on GitHub
  A flexible command-line load generator to create traces in OTel or Honeycomb formats
  ☆13Jan 12, 2026Updated last month
• cowboy8625 / snow-lang

  View on GitHub
  A functional programming language
  ☆15Jul 23, 2025Updated 7 months ago
• LCF2764 / autoKWS2021_1st_solution

  View on GitHub
  Auto-KWS 2021 Challenge 1st place solution.
  ☆11Jul 20, 2021Updated 4 years ago
• orisano / chunpull

  View on GitHub
  ☆10Dec 8, 2021Updated 4 years ago
• textlint / textlint-plugin-mdx

  View on GitHub
  textlint plugin to lint MDX
  ☆13Feb 16, 2025Updated last year
• ttskch / remarkbase

  View on GitHub
  Theming and templating base for remarkjs.
  ☆10Jul 12, 2018Updated 7 years ago
• spiegel-im-spiegel / github-pages-env

  View on GitHub
  Document Environment for spiegel-im-spiegel.github.io
  ☆10Updated this week
• pipe-cd / actions-event-register

  View on GitHub
  A GitHub action for registering Events to PipeCD
  ☆14Apr 11, 2025Updated 10 months ago
• soadzoor / MSDF-text

  View on GitHub
  ☆10Feb 12, 2025Updated last year
• oogatta / CloudFunctionsBestPractices

  View on GitHub
  ☆10Oct 31, 2018Updated 7 years ago
• jpnykw / nes-emulator

  View on GitHub
  🛠 [WIP] An emulator for Nintendo Entertainment System written in Rust
  ☆13Sep 24, 2020Updated 5 years ago
• save-buffer / swift-repl

  View on GitHub
  Swift Playgrounds on Windows!
  ☆14Sep 15, 2019Updated 6 years ago
• gohugoio / hugoreleaser

  View on GitHub
  Build, archive and release.
  ☆17Feb 15, 2026Updated 3 weeks ago
• dylanpyle / version

  View on GitHub
  A simple semantic versioning tool for Deno; a lightweight replacement for `npm version`
  ☆12Jun 23, 2024Updated last year
• pawel-mazurkiewicz / SimpleHydrologyWindows

  View on GitHub
  Fork of https://github.com/weigert/SimpleHydrology, modified to run on Windows
  ☆12Sep 7, 2020Updated 5 years ago
• semahawk / type-inference

  View on GitHub
  A Hindley-Milner(-Damas) type inference implementation in C.
  ☆13Nov 13, 2015Updated 10 years ago
• codelibs / docker-codesearch

  View on GitHub
  Code Search on Fess
  ☆11Nov 2, 2024Updated last year
• Compass-All / NDSS24-CAGE

  View on GitHub
  ☆15Jan 5, 2024Updated 2 years ago
• schembriaiden / helium-browser-nix-flake

  View on GitHub
  Nix Flake for Helium Browser
  ☆25Feb 25, 2026Updated last week
• Alkamist / odin_machine_learning

  View on GitHub
  Machine Learning in Pure Odin
  ☆14Nov 11, 2025Updated 3 months ago
• envzhu / semzhu-visor

  View on GitHub
  Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu
  ☆10Apr 9, 2019Updated 6 years ago
• fujitsu / FUJITSU-MONAKA

  View on GitHub
  ☆19Dec 1, 2025Updated 3 months ago
• koki-develop / ghatree

  View on GitHub
  🌲 Visualize GitHub Actions workflow dependencies as a tree structure.
  ☆17Updated this week