lyphyser/deptypes 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

lyphyser/deptypes

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/lyphyser/deptypes)

Close

lyphyser / deptypesView on GitHubMore

• External links
• Readme badge

☆17Nov 6, 2025Updated 3 months ago

Alternatives and similar repositories for deptypes

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

• rocq-prover / stdlib

  View on GitHub
  Stdlib for the Rocq Prover
  ☆32Updated this week
• blamario / grampa

  View on GitHub
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆45Jan 23, 2026Updated last month
• om-mani-padme-hum / mysql-await

  View on GitHub
  Simple MySQL Async/Await Connection Pool
  ☆10Dec 8, 2022Updated 3 years ago
• saas-studio / saaskit

  View on GitHub
  Low-Code SaaS Framework
  ☆10Jan 14, 2026Updated last month
• cedille / cedille2

  View on GitHub
  ☆17Jan 3, 2025Updated last year
• Divy1211 / BinaryFileParser

  View on GitHub
  A blazingly fast python library for serializing/deserializing python objects to/from binary files
  ☆10Feb 18, 2026Updated last week
• skypher / blackthorn

  View on GitHub
  2D game engine for Common Lisp
  ☆12Jun 5, 2012Updated 13 years ago
• automata-network / automata-on-chain-pccs

  View on GitHub
  Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
  ☆16Feb 7, 2026Updated 3 weeks ago
• circuitsacul / io

  View on GitHub
  A code-running bot.
  ☆10Jan 26, 2026Updated last month
• DevSrSouza / Marknote

  View on GitHub
  A simple markdown note app built with flutter
  ☆10Sep 21, 2019Updated 6 years ago
• begoon / fcode

  View on GitHub
  A crackme demo program based on Forth code
  ☆13Sep 27, 2012Updated 13 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• TomByrne / Guise

  View on GitHub
  A GUI library for Haxe supporting native and non-native controls
  ☆41Mar 8, 2014Updated 11 years ago
• vincenthz / hs-securemem

  View on GitHub
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Feb 15, 2020Updated 6 years ago
• devwckd / wecs

  View on GitHub
  wecs (wckd-ecs) is a simple ECS library suitable for general use.
  ☆10Sep 12, 2024Updated last year
• oneearedrabbit / shell

  View on GitHub
  Diggy is a playground that runs practical and recreationcal programming languages in a sandbox
  ☆10Mar 8, 2023Updated 2 years ago
• Ronsor / VecDex

  View on GitHub
  Vector functions and indexing for SQLite
  ☆10Mar 26, 2023Updated 2 years ago
• wllfaria / terml

  View on GitHub
  Terminal manipulation library in pure Ocaml. Make text-based terminal applications with ease
  ☆10Mar 29, 2024Updated last year
• deltaluca / hx-opencv

  View on GitHub
  Haxe-c++ bindings for opencv2 (C API)
  ☆20Jul 20, 2013Updated 12 years ago
• iczelia / mblzp

  View on GitHub
  A lightweight (8MB) implementation of the McIlroy-Tamayo Lempel-Ziv variation in Malbolge Unshackled.
  ☆10Jul 11, 2025Updated 7 months ago
• nandokferrari / woovi-front

  View on GitHub
  ☆12Dec 8, 2022Updated 3 years ago
• callumevans / QueryBuilder

  View on GitHub
  An extensible visual programming system.
  ☆10May 8, 2016Updated 9 years ago
• thoughtstem / vr-engine

  View on GitHub
  Racket Lang for Virtual Reality (Aframe)
  ☆10Jun 9, 2020Updated 5 years ago
• JakubGrobelny / aurox-lang

  View on GitHub
  Interpreter written for Prolog course.
  ☆10Feb 18, 2020Updated 6 years ago
• philogicae / torrent-search-mcp

  View on GitHub
  Python API & MCP server to find torrents programmatically
  ☆20Feb 5, 2026Updated 3 weeks ago
• stefanhaustein / tantilla

  View on GitHub
  Mobile IDE
  ☆12Nov 9, 2020Updated 5 years ago
• elishacloud / Castle-Adventure

  View on GitHub
  A graphical remake of the 1984 Castle Adventure game initially created by Kevin Bales.
  ☆16Jul 2, 2020Updated 5 years ago
• rkibria / yapyg

  View on GitHub
  Yet Another Python Game Engine
  ☆11Nov 22, 2015Updated 10 years ago
• JLCarveth / zjs

  View on GitHub
  ☆13Aug 2, 2022Updated 3 years ago
• datagraph / cl-ndbapi

  View on GitHub
  Common Lisp bindings to the C++ NDB API of RonDB
  ☆15Sep 17, 2025Updated 5 months ago
• makoConstruct / syhexGen

  View on GitHub
  A shapely icon generator with 3136 unique entities and a neutral flavour.
  ☆22Jun 27, 2014Updated 11 years ago
• craff / phox

  View on GitHub
  ☆14Jan 30, 2025Updated last year
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• ryanfb / docker_scantailor

  View on GitHub
  Docker for ScanTailor and ScanTailor Advanced
  ☆14Mar 17, 2024Updated last year
• paulmooreparks / Xfer

  View on GitHub
  A new data-transfer language that has stricter typing yet more flexible syntax.
  ☆17Aug 16, 2025Updated 6 months ago
• laffed / west-pad

  View on GitHub
  a superior left-pad
  ☆10Feb 15, 2024Updated 2 years ago
• jlongster / swank-gambit

  View on GitHub
  Gambit swank backend for SLIME
  ☆40Aug 16, 2011Updated 14 years ago
• math-blocks / math-blocks

  View on GitHub
  A set of tools, components, and libraries for building interactive math applications.
  ☆14Jan 3, 2025Updated last year
• OpenFn / visual-mapper

  View on GitHub
  A visual, module-based, gracefully degrading "job expression" generator for OpenFn
  ☆12Oct 5, 2015Updated 10 years ago