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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Yuta1004 / SysDC

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

  View on GitHub
  maintidx measures the maintainability index of each function.
  ☆77May 14, 2026Updated 3 weeks ago
• oogatta / CloudFunctionsBestPractices

  View on GitHub
  ☆10Oct 31, 2018Updated 7 years ago
• zzz11032511 / Oto

  View on GitHub
  A programming language for sound play
  ☆16Mar 4, 2022Updated 4 years ago
• ciniml / fpga_samples

  View on GitHub
  FPGA samples
  ☆27Apr 29, 2026Updated last month
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• caprese-project / caprese

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

  View on GitHub
  A new-fasioned quote! macro implementation with pretty template-engine like syntax
  ☆19May 17, 2026Updated 3 weeks ago
• ciniml / seccamp_riscv_cpu

  View on GitHub
  セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場
  ☆40Apr 11, 2025Updated last year
• save-buffer / swift-repl

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

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

  View on GitHub
  A programming language
  ☆70Nov 27, 2023Updated 2 years ago
• task4233 / sqli-chal

  View on GitHub
  ☆11Jul 9, 2023Updated 2 years ago
• zeroxjf / CVE-2026-20637-AppleSEPKeyStore-UAF

  View on GitHub
  CVE-2026-20637: AppleSEPKeyStore Use-After-Free — iOS/macOS kernel vulnerability (patched in 26.4)
  ☆53Apr 6, 2026Updated 2 months ago
• oshikiri / fake-step-functions

  View on GitHub
  An unit testing toolkit for Amazon States Language
  ☆15Apr 10, 2026Updated 2 months ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• jpnykw / nes-emulator

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

  View on GitHub
  textlint plugin to lint MDX
  ☆13Mar 17, 2026Updated 2 months ago
• kStor2poche / ghidra-gruvbox-theme

  View on GitHub
  A grubox theme for ghidra, available in all its variants
  ☆18Aug 2, 2024Updated last year
• Zephiles / sola-exploit

  View on GitHub
  A True Crime: Streets of LA Save Exploit
  ☆21Jul 14, 2024Updated last year
• Compass-All / NDSS24-CAGE

  View on GitHub
  ☆16Jan 5, 2024Updated 2 years ago
• funkyremi / deepl

  View on GitHub
  Deepl API wrapper for node
  ☆44Jan 9, 2024Updated 2 years ago
• go-simpler / musttag

  View on GitHub
  🚔 Enforce field tags in (un)marshaled structs
  ☆40Jan 19, 2026Updated 4 months ago
• tomoyasuzuki / kvmm

  View on GitHub
  kvmm is a type2 hypervisor that uses the Linux Kernel Virtual Machine(KVM).
  ☆12Feb 5, 2021Updated 5 years ago
• tex2e / multiple-precision

  View on GitHub
  長野高専の3J「アルゴリズムとデータ構造」後期の多倍長演算プログラム
  ☆21Mar 1, 2018Updated 8 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• Suqier / RT-Hypervisor

  View on GitHub
  RT-Hypervisor: A real-time hypervisor for automotive embedded system
  ☆14Feb 1, 2023Updated 3 years ago
• Totsugekitai / htvmm

  View on GitHub
  A toy hypervisor.
  ☆25Feb 17, 2023Updated 3 years ago
• acsl-technion / TPT

  View on GitHub
  ☆15May 23, 2023Updated 3 years ago
• Hongqin-Li / rpi-os

  View on GitHub
  A teaching operating system on raspberry pi 3/4 ported from xv6
  ☆17Feb 25, 2022Updated 4 years ago
• shfz / shfz

  View on GitHub
  TypeScript Scenario-Based Web Application Fuzzing Framework
  ☆63Mar 4, 2022Updated 4 years ago
• fujitsu / FUJITSU-MONAKA

  View on GitHub
  ☆20Apr 3, 2026Updated 2 months ago
• plusls / gdb-fzf

  View on GitHub
  Replace gdb default history searcher and auto complete with fzf fuzzy finder
  ☆25Apr 14, 2023Updated 3 years ago
• martimatix / Rust-Juniper-Rocket-GraphQL-Example

  View on GitHub
  A demo project that answers "How do I use Juniper with Rocket?"
  ☆17Nov 18, 2019Updated 6 years ago
• Omair-R / Nuod

  View on GitHub
  Nuod (Numerical Odin) is an Odin library for creating and manipulating numerical multi-dimensional arrays.
  ☆22Nov 15, 2025Updated 6 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• samber / go-type-to-string

  View on GitHub
  🕵️‍♂️ Extract a string representation of Go type
  ☆23May 15, 2026Updated 3 weeks ago
• noradium / dac

  View on GitHub
  ☆18Oct 27, 2023Updated 2 years ago
• on-keyday / brgen

  View on GitHub
  brgen, short for BinaRy encoder/decoder GENerator
  ☆26Updated this week
• takeharukato / sample-tsk-sw

  View on GitHub
  A Sample Operating System Kernel for Embedded Systems
  ☆14Jan 1, 2021Updated 5 years ago
• Reverse-Engineering-Freaks / sc-tools

  View on GitHub
  Tools for exploration inside Smart Cards
  ☆28May 3, 2026Updated last month
• cowboy8625 / snow-lang

  View on GitHub
  A functional programming language
  ☆15Jul 23, 2025Updated 10 months ago
• wavedrom / vcd

  View on GitHub
  Value Change Dump (VCD) parser
  ☆38Jan 9, 2026Updated 5 months ago