qqsdff / script

Related projects ⓘ

Alternatives and complementary repositories for script

• One-Piecs / proxypool
  自动抓取tg频道、订阅地址、公开互联网上的ss、ssr、vmess、trojan节点信息，聚合去重后提供节点列表，每小时更新
  ☆10Updated 6 months ago
• yav / presburger
  Decision procedures for Presburger arithmetic in Haskell
  ☆29Updated 4 years ago
• bjin / hprox
  a lightweight HTTP proxy server, and more
  ☆32Updated last week
• ekmett / bytes
  Serialization primitives that work with both cereal and binary.
  ☆23Updated 4 months ago
• spaceships / garbled-circuits
  haskell implementation of garbled circuits
  ☆12Updated 6 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• gergoerdi / interaction-nets
  Haskell implementation of interaction net-based lambda evaluation
  ☆16Updated 8 years ago
• mrkgnao / pebble
  A toy symbolic algebra / calculus library in Haskell
  ☆12Updated 9 years ago
• k0001 / umzug
  This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.
  ☆17Updated 5 years ago
• Gabriella439 / Haskell-Pipes-HTTP-Library
  HTTP client with pipes interface
  ☆18Updated last year
• sjpeterson / quark
  Quark - the editor the world doesn't need
  ☆15Updated 10 months ago
• fosskers / vectortiles
  A native Haskell codec for Mapbox Vector Tiles.
  ☆20Updated 4 years ago
• gatlin / tubes
  Stream processing with a series of tubes.
  ☆14Updated 8 years ago
• harendra-kumar / concise-haskell
  Concise Haskell reference
  ☆12Updated 6 years ago
• haskell-works / hw-rankselect
  ☆18Updated 10 months ago
• jwiegley / haskell-to-c
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Updated 7 years ago
• timjb / halma
  Chinese Checkers Haskell library, GUI application and Telegram bot
  ☆16Updated 3 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• Softsapiens / mini-complete-servant
  A mini but complete example of API construction with persistence plus authorisation features with servant framework.
  ☆11Updated 8 years ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆36Updated 4 years ago
• ocharles / opaleye-tf
  An alternative interface to Opaleye, built around type families
  ☆13Updated 7 years ago
• Ptival / yugioh
  Yu-Gi-Oh! simulator
  ☆10Updated 4 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆13Updated 6 years ago
• Daniel-Diaz / haskintex
  Haskell Evaluation inside of LaTeX code.
  ☆22Updated last year
• kuribas / hmetafont
  hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont
  ☆11Updated 7 years ago