istlab/Alitheia-Core 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

istlab/Alitheia-Core

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/istlab/Alitheia-Core)

Close

istlab / Alitheia-CoreView on GitHubMore

• External links
• Readme badge

A platform for software engineering research

☆24Jan 13, 2014Updated 12 years ago

Alternatives and similar repositories for Alitheia-Core

Users that are interested in Alitheia-Core are comparing it to the libraries listed below

• terralang / terrac

  View on GitHub
  Unofficial terralang compiler
  ☆13Apr 21, 2023Updated 2 years ago
• arp242 / zhttp

  View on GitHub
  Martin's HTTP package
  ☆14Dec 1, 2025Updated 3 months ago
• pdm-project / copier-pdm

  View on GitHub
  Copier template for PDM projects
  ☆31Feb 20, 2024Updated 2 years ago
• jlrigau / web2ldap

  View on GitHub
  A containerized LDAP client web application based on web2ldap
  ☆12Oct 24, 2016Updated 9 years ago
• markau / angular-svg-timer

  View on GitHub
  An SVG-based timer button in AngularJS
  ☆11Jun 12, 2015Updated 10 years ago
• akryukov / theano

  View on GitHub
  Theano Classical Fonts
  ☆16Jan 31, 2022Updated 4 years ago
• AdamLaurie / marc4dasm

  View on GitHub
  Atmel MARC4 disassembler
  ☆16Mar 29, 2013Updated 12 years ago
• madmurphy / nautilus-launch

  View on GitHub
  A simple Nautilus extension that allows to run executables and launchers via right-click menu
  ☆11Nov 28, 2023Updated 2 years ago
• assisrafael / angular-bootstrap-form-validation

  View on GitHub
  AngularJS directives for Twitter Bootstrap form validation
  ☆12Feb 16, 2015Updated 11 years ago
• project-jedi / tools

  View on GitHub
  Tools used by many projects
  ☆16Mar 10, 2026Updated last week
• fjalvingh / domui

  View on GitHub
  The DomUI Java User interface library
  ☆14Updated this week
• a2cart / google-gmail-api

  View on GitHub
  Demo Project for Gmail API Using Spring Boot Rest API with OAuth2
  ☆15Jun 18, 2017Updated 8 years ago
• nomensa / jquery.accessible-tabs

  View on GitHub
  Creates accessible tabs - a single content area with multiple panels
  ☆10Jan 11, 2016Updated 10 years ago
• crowdagger / rust-ispell

  View on GitHub
  Rust library for easily calling ispell and aspell
  ☆13Jul 4, 2020Updated 5 years ago
• crowdagger / stemmer-rs

  View on GitHub
  Stemming library for Rust, using bindings to Snowball C implementation
  ☆13Feb 26, 2016Updated 10 years ago
• crowdagger / caribon

  View on GitHub
  A repetition detector written in Rust
  ☆14Mar 16, 2017Updated 9 years ago
• svgdotjs / svg.screenbbox.js

  View on GitHub
  A plugin for the svgjs library which gets the bbox of a path/polygon/polyline after all transformations applied.
  ☆15Feb 16, 2017Updated 9 years ago
• jenkinsci / validating-string-parameter-plugin

  View on GitHub
  Jenkins validating-string-parameter plugin
  ☆17Mar 14, 2026Updated last week
• Delapouite / svg-break-apart

  View on GitHub
  Demo of how to break apart a long svg path data into multiple smaller paths in JS (like in InkScape)
  ☆12Feb 25, 2017Updated 9 years ago
• IJHack / ijduino

  View on GitHub
  IJduino
  ☆15Sep 5, 2016Updated 9 years ago
• bian-official / artefacts

  View on GitHub
  BIAN artefacts in Excel
  ☆14Oct 6, 2021Updated 4 years ago
• zvrba / cspim

  View on GitHub
  MIPS I simulator
  ☆20Dec 28, 2018Updated 7 years ago
• wader / docker-webdav

  View on GitHub
  WebDAV and web file browser server
  ☆13Sep 4, 2019Updated 6 years ago
• ash / allperlbooks

  View on GitHub
  allperlbooks.com data
  ☆10Oct 20, 2024Updated last year
• suyashmohan / kubernetes_postgres_statefulset

  View on GitHub
  Sample config files for setting up Postgres on Kubernetes with Statefulset Resource
  ☆11Jan 17, 2020Updated 6 years ago
• KMahoney / kpm-list

  View on GitHub
  An Emacs buffer list
  ☆20Sep 24, 2017Updated 8 years ago
• wenzhixin / bootstrap-login

  View on GitHub
  Login plugin form for Twitter Bootstrap
  ☆20Sep 7, 2014Updated 11 years ago
• sunjay / bst

  View on GitHub
  A map and set type based on a binary search tree (BST)
  ☆12Feb 26, 2021Updated 5 years ago
• mauke / Function-Parameters

  View on GitHub
  Function::Parameters - define functions and methods with parameter lists ("subroutine signatures")
  ☆19Sep 19, 2024Updated last year
• fdocr / udl-server

  View on GitHub
  This is a server that bounces traffic to better leverage Deep Linking in mobile apps.
  ☆13Dec 15, 2025Updated 3 months ago
• codeedu / golang-cobra-example

  View on GitHub
  ☆10Jul 20, 2021Updated 4 years ago
• zordius / ssidLogger

  View on GitHub
  SSID logger - an Android app for position tracking, target to logging without GPS/network access and low battery usage
  ☆10Sep 18, 2015Updated 10 years ago
• coconut2015 / agg-2.4

  View on GitHub
  Anti-grain Geometry 2.4 Unofficial Mirror
  ☆12Oct 10, 2019Updated 6 years ago
• couchbaselabs / agent-catalog

  View on GitHub
  Giving you the "agentc" to build more reliable agents.
  ☆16Nov 25, 2025Updated 3 months ago
• eggheadio / scriptkit.com

  View on GitHub
  ☆13Mar 30, 2023Updated 2 years ago
• yasutakatou / IMS

  View on GitHub
  Incidents Managed tool on Slack.
  ☆12May 13, 2023Updated 2 years ago
• evandroferreiras / prometheus_tutorial

  View on GitHub
  ☆12Sep 2, 2018Updated 7 years ago
• rachelandrew / multicol-wip

  View on GitHub
  Somewhere to store stuff relating to my work on Multi-column layout
  ☆11Aug 11, 2017Updated 8 years ago
• ukman / pivot

  View on GitHub
  Repository for Cynteka Pivot Table
  ☆12Apr 9, 2014Updated 11 years ago