Alternatives and similar repositories for wired

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

• nark / WiredServer

  View on GitHub
  Wired Server application for Mac OS X
  ☆14May 12, 2020Updated 5 years ago
• nark / WiredClient

  View on GitHub
  A Wired Client for Mac OS X
  ☆31Mar 3, 2024Updated last year
• MrChico / Reals-in-agda

  View on GitHub
  Constructive definition of real numbers implemented in agda.
  ☆10Jul 31, 2016Updated 9 years ago
• nark / WiredSwift

  View on GitHub
  Swift implementation of the Wired 2.0 specification
  ☆13May 22, 2021Updated 4 years ago
• pigworker / CS410-16

  View on GitHub
  being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde
  ☆13May 9, 2017Updated 8 years ago
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• jmchapman / Relative-Monads

  View on GitHub
  Relative Monad Library for Agda
  ☆24May 29, 2019Updated 6 years ago
• pigworker / potato

  View on GitHub
  being an experiment with potato power
  ☆23Jan 14, 2020Updated 6 years ago
• gallais / agda-nbe

  View on GitHub
  Formalizing nbe in agda
  ☆32Nov 22, 2012Updated 13 years ago
• effectfully / Generic

  View on GitHub
  A library for doing generic programming in Agda
  ☆36Jan 27, 2021Updated 5 years ago
• gallais / agda-sizedIO

  View on GitHub
  IO using sized types and copatterns
  ☆36Apr 14, 2021Updated 4 years ago
• HoTT / M-types

  View on GitHub
  A formalization of M-types in Agda
  ☆36Mar 7, 2020Updated 5 years ago
• alanz / machines-play

  View on GitHub
  Playing with https://github.com/ekmett/machines
  ☆51Jul 2, 2017Updated 8 years ago
• coinkite / bitcoin.holiday.pub

  View on GitHub
  The repository of events for Bitcoin Holiday site
  ☆11Jul 31, 2025Updated 6 months ago
• ernius / mergesort

  View on GitHub
  Merge sort correctness proof
  ☆11May 21, 2015Updated 10 years ago
• shmel1k / gop

  View on GitHub
  Worker pool written in golang
  ☆11Apr 6, 2021Updated 4 years ago
• Saizan / cubical-demo

  View on GitHub
  ☆45Jun 20, 2019Updated 6 years ago
• vindarel / shelisp

  View on GitHub
  Mixing shell and lisp on the Lisp repl for easier everyday life
  ☆11Aug 20, 2018Updated 7 years ago
• CoderAldrich / P2P-DOWNLOADER

  View on GitHub
  整理P2P下载相关的资料
  ☆15Mar 29, 2018Updated 7 years ago
• observing / red

  View on GitHub
  RED a realtime system built upon Node.js and Redis
  ☆16Nov 16, 2016Updated 9 years ago
• mdavisprog / lstalk

  View on GitHub
  C library that enables communication with a language server.
  ☆12May 12, 2023Updated 2 years ago
• abdennebi / spring-boot-bucket4j-hazelcast-demo

  View on GitHub
  ☆13Jun 29, 2017Updated 8 years ago
• Project-Oberon / DOSOberon

  View on GitHub
  Oberon System for DOS/386
  ☆12Apr 1, 2013Updated 12 years ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• cftang0827 / python-computer-vision-environment-setting

  View on GitHub
  The shell script of environment installation of Python3, including opencv, dlib, face_recognition ...etc
  ☆10Mar 28, 2019Updated 6 years ago
• suto / Exploit

  View on GitHub
  Proof of concept exploit codes for vulnerabilities.
  ☆11May 8, 2014Updated 11 years ago
• gtt116 / hass

  View on GitHub
  A shadowsocks client which supports intelligently load balance schedule algorithm
  ☆10Dec 7, 2022Updated 3 years ago
• paularmstrong / still

  View on GitHub
  A static site generator built with node.js
  ☆15Jul 15, 2020Updated 5 years ago
• darius / cogen

  View on GitHub
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13May 21, 2016Updated 9 years ago
• DistRap / gcodehs

  View on GitHub
  GCode parser, pretty-printer and processing utils
  ☆15Nov 13, 2023Updated 2 years ago
• purescript-node / purescript-node-buffer

  View on GitHub
  Type declarations for Node's Buffer class
  ☆10Jul 5, 2023Updated 2 years ago
• clayrat / modal-types

  View on GitHub
  Experiments with modal types
  ☆17Oct 20, 2020Updated 5 years ago
• spite / GLStateCache.js

  View on GitHub
  State cache for WebGL Rendering Context
  ☆17Jun 3, 2018Updated 7 years ago
• kylelin47 / os-shell

  View on GitHub
  A Linux shell written in LEX/YACC
  ☆11Apr 12, 2015Updated 10 years ago
• gamedevgarage / gamedevgarage_obfuscator

  View on GitHub
  Cocos Creator extension which obfuscates project.js just before build process completed. Put into the packages folder in the project fold…
  ☆11Jan 22, 2022Updated 4 years ago
• endoli / brass-tacks

  View on GitHub
  Sorting out the basic facts behind our projects.
  ☆10Sep 1, 2016Updated 9 years ago
• return / haiku-api-js

  View on GitHub
  JavaScript and TypeScript bindings for the Haiku Operating System
  ☆10Oct 8, 2019Updated 6 years ago
• yallop / pldi2014-papers

  View on GitHub
  Accepted papers for PLDI 2014
  ☆15May 19, 2016Updated 9 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago