🥇Polymarket Copytrading Bot Sport🥇 is Automated copy-trading bot for Polymarket that monitors successful traders and mirrors their positions in real time, CLUE: polymarket copytrading bot polymarket trading bot polymarket copy bot polymarket bot polymarket arbitrage bot polymarket copytrading bot polymarket trading bot polymarket copy bot
☆160Mar 16, 2026Updated this week
Alternatives and similar repositories for polymarket-copytrading-bot-sport
Users that are interested in polymarket-copytrading-bot-sport are comparing it to the libraries listed below
Sorting:
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 5 years ago
- JSaddle integration for the GHC Wasm backend☆21Dec 12, 2025Updated 3 months ago
- Examples for the book “Alex and Happy”☆34May 2, 2015Updated 10 years ago
- GitHub mirror for CI ONLY. All development happens on GitLab.☆41Mar 4, 2021Updated 5 years ago
- Golden test support for Tasty☆42Feb 1, 2026Updated last month
- Visual Studio Code integration for the Idris 2 language server☆31Nov 2, 2024Updated last year
- Example language server (LSP) implementation for a toy language☆61Jul 21, 2021Updated 4 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Jul 18, 2024Updated last year
- Type inference from scratch - Material for my talk at F(by)19☆66Jan 8, 2020Updated 6 years ago
- A prototypical dependently typed languages with sized types and variances☆115Jan 12, 2026Updated 2 months ago
- higher order dependently typed logic programing☆173Aug 7, 2018Updated 7 years ago
- Language Server for Agda☆124Mar 12, 2026Updated last week
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆107Jun 5, 2023Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120May 9, 2021Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- Benchmarks for capture-avoiding substitution☆123May 30, 2025Updated 9 months ago
- A simple Nix-Haskell skeleton☆118Jun 18, 2025Updated 9 months ago
- 🍰🔪 Architecture of Haskell backend applications☆137Jan 11, 2023Updated 3 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆164Nov 29, 2020Updated 5 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆202Jul 22, 2023Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆163Aug 2, 2022Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214May 7, 2023Updated 2 years ago
- A minimal proof language.☆213Jan 26, 2019Updated 7 years ago
- Language Server for Idris2☆187Dec 28, 2025Updated 2 months ago
- Dependent type checker using normalisation by evaluation☆275Sep 5, 2024Updated last year
- A simple library for reporting compiler/interpreter errors☆269Aug 11, 2024Updated last year
- An ML-like functional programming language☆345Oct 17, 2021Updated 4 years ago
- Generate Nix build instructions from a Cabal file☆396Mar 7, 2026Updated last week
- A bare-bones calculus-of-constructions☆383Sep 4, 2022Updated 3 years ago
- New home of Esqueleto, please file issues so we can get things caught up!☆395Apr 15, 2025Updated 11 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆696Mar 7, 2026Updated last week
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆460Mar 7, 2026Updated last week
- A demo implementation of a simple dependently-typed language☆620Nov 18, 2024Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆690Jan 12, 2026Updated 2 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆737Jan 29, 2026Updated last month
- Minimal implementations for dependent type checking and elaboration☆777Jan 30, 2026Updated last month
- High performance, concurrent functional programming abstractions☆909Updated this week
- Hazel, a live functional programming environment with typed holes☆1,079Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,230Updated this week