TyOverby/astar 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

TyOverby/astar

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/TyOverby/astar)

Close

TyOverby / astarView on GitHubMore

• External links
• Readme badge

DEPRICATED

☆32May 21, 2018Updated 7 years ago

Alternatives and similar repositories for astar

Users that are interested in astar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• kvark / simplecs

  View on GitHub
  Simple Entity-Component System
  ☆11Apr 21, 2015Updated 10 years ago
• PistonDevelopers / piston_collada

  View on GitHub
  Rust library for parsing COLLADA files
  ☆26Dec 6, 2025Updated 3 months ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• randomPoison / gunship-rs

  View on GitHub
  An experimental game engine written in Rust.
  ☆27Sep 8, 2017Updated 8 years ago
• TyOverby / wire

  View on GitHub
  A rustic tcp + serialization abstraction.
  ☆33Mar 23, 2016Updated 10 years ago
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• servo / rust-png

  View on GitHub
  Rust bindings for libpng - UNMAINTAINED - DO NOT USE
  ☆28Oct 14, 2016Updated 9 years ago
• reem / rust-typemap

  View on GitHub
  A typesafe store keyed by types and containing different types of values.
  ☆180Dec 27, 2018Updated 7 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• kmcallister / seqloq

  View on GitHub
  rwlock with writer priority and optimistic reads
  ☆33Feb 1, 2015Updated 11 years ago
• joom / WangsAlgorithm

  View on GitHub
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Jun 12, 2019Updated 6 years ago
• kmcallister / pngbox

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 11 years ago
• contain-rs / ordered_iter

  View on GitHub
  Ordered iterators
  ☆10May 21, 2020Updated 5 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• gsingh93 / rust-graph

  View on GitHub
  A graph library for Rust
  ☆16Apr 16, 2015Updated 10 years ago
• reem / rust-membuf

  View on GitHub
  A safe-ish wrapper for allocating, reallocating and deallocating heap buffers.
  ☆12Jul 4, 2015Updated 10 years ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 11 years ago
• slide-rs / fibe-rs

  View on GitHub
  Fiberized task queue in Rust
  ☆11Aug 4, 2015Updated 10 years ago
• zakkor / rust-sfml-rocket

  View on GitHub
  Rocket is a little game written in Rust, using the Rust-SFML library.
  ☆11Nov 5, 2021Updated 4 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• uwplse / arvo

  View on GitHub
  A proof assistant.
  ☆12Feb 19, 2016Updated 10 years ago
• plasma-umass / systemgo

  View on GitHub
  Init system in Go, intended to run on Browsix and other Unix-like OS. Part of GSoC 2016 project.
  ☆38Aug 21, 2016Updated 9 years ago
• milibopp / carboxyl

  View on GitHub
  Functional Reactive Programming library for Rust
  ☆418Jan 28, 2025Updated last year
• Jirapong / haversine_distance

  View on GitHub
  Haversine formula to calculate the great-circle distance between two points in kilometers and miles.
  ☆13Jan 9, 2018Updated 8 years ago
• contain-rs / bst

  View on GitHub
  An ordered map and set based on a binary search tree.
  ☆13Mar 31, 2015Updated 10 years ago
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Aug 25, 2017Updated 8 years ago
• GaloisInc / jvm-parser

  View on GitHub
  A Haskell parser for JVM bytecode files
  ☆39Jan 12, 2024Updated 2 years ago
• PistonDevelopers / skeletal_animation

  View on GitHub
  A Rust library for skeletal animation
  ☆65Nov 14, 2023Updated 2 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• BurntSushi / awesome-rust

  View on GitHub
  A curated list of awesome Rust code and resources.
  ☆10Mar 21, 2015Updated 11 years ago
• pravic / rust-gfx-sciter

  View on GitHub
  Rust GFX examples with Sciter UI.
  ☆19Dec 6, 2022Updated 3 years ago
• alexcrichton / cargo-fancy

  View on GitHub
  Fancy output for Cargo
  ☆13Apr 19, 2016Updated 9 years ago