YouyouCong/counterpoint 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

YouyouCong/counterpoint

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/YouyouCong/counterpoint)

Close

YouyouCong / counterpointView on GitHubMore

• External links
• Readme badge

☆11Jul 18, 2023Updated 2 years ago

Alternatives and similar repositories for counterpoint

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

• alpha-convert / delta

  View on GitHub
  Implementation of the Delta Language
  ☆13Mar 18, 2024Updated last year
• keyboardDrummer / typeless

  View on GitHub
  Typeless: the benefits of TypeScript, without the types
  ☆19Jul 12, 2023Updated 2 years ago
• halfaya / MusicTools

  View on GitHub
  ☆43Feb 2, 2026Updated last month
• ying-teaching / python

  View on GitHub
  Python notes
  ☆10Aug 13, 2022Updated 3 years ago
• effect-handlers / effect-handlers-bench

  View on GitHub
  Benchmark repository of polyglot effect handler examples
  ☆34Aug 21, 2025Updated 6 months ago
• andrejbauer / faux-type-theory

  View on GitHub
  ☆51Jan 30, 2026Updated last month
• fuselang / fuse

  View on GitHub
  Statically typed functional programming language.
  ☆11Jan 25, 2026Updated last month
• cognitive-engineering-lab / document-calculus

  View on GitHub
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Oct 5, 2023Updated 2 years ago
• mauricioszabo / generic-lsp

  View on GitHub
  ☆10Nov 14, 2022Updated 3 years ago
• outlandnish / fw-ghost-drive

  View on GitHub
  Firmware for the Macchina M2 to use your car as a sim racing controller
  ☆13Jan 5, 2021Updated 5 years ago
• yuroyoro / scala-hackathon

  View on GitHub
  Scala発火村の資料ですお
  ☆30Oct 18, 2010Updated 15 years ago
• bbopt / solar

  View on GitHub
  The SOLAR blackbox optimization problem
  ☆16Sep 24, 2025Updated 5 months ago
• brexhq / kotlin-language-server-bazel-support

  View on GitHub
  Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support
  ☆12Nov 26, 2025Updated 3 months ago
• hzeller / gds2vec

  View on GitHub
  A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.
  ☆12May 30, 2023Updated 2 years ago
• igamigo / dinogame

  View on GitHub
  Web game, clone of Chrome's dinosaur game.
  ☆10Jan 5, 2023Updated 3 years ago
• SFPC / yamaguchi-2019

  View on GitHub
  1 weeks session at YCAM, Japan
  ☆11Jun 11, 2020Updated 5 years ago
• jashug / IWTypes

  View on GitHub
  A Coq development of the theory of Indexed W types with function extensionality.
  ☆11Sep 13, 2017Updated 8 years ago
• Wodan58 / joy0

  View on GitHub
  Original Joy
  ☆11Dec 17, 2024Updated last year
• lambdalf / lambdalf

  View on GitHub
  Alfresco module that exposes a Clojure API to access the repository.
  ☆17Jan 20, 2016Updated 10 years ago
• WebGHC / ghc

  View on GitHub
  Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…
  ☆13Jun 13, 2020Updated 5 years ago
• gedorinku / snes-ruby

  View on GitHub
  ☆12May 16, 2024Updated last year
• conal / talk-2012-folds-and-unfolds

  View on GitHub
  Talk on folds & unfolds (and combinations) for general algebraic data types
  ☆12Aug 6, 2013Updated 12 years ago
• endofunky / heart

  View on GitHub
  A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary
  ☆13Sep 8, 2022Updated 3 years ago
• DavePearce / jkit

  View on GitHub
  Java Compiler Kit (JKit)
  ☆12May 20, 2017Updated 8 years ago
• joshuanianji / idris-2-docker

  View on GitHub
  Multi-arch Docker images for Idris 2
  ☆13Feb 9, 2026Updated 3 weeks ago
• rodrigogribeiro / idrisregexp

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

  View on GitHub
  A programming language that deduces code from tests
  ☆30Jan 8, 2018Updated 8 years ago
• raviqqe / lazy-ein

  View on GitHub
  JSON meets Haskell.
  ☆11Oct 22, 2020Updated 5 years ago
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 10 months ago
• vinayak-mehta / mcp-sonic-pi

  View on GitHub
  MCP server for Sonic Pi
  ☆15Mar 22, 2025Updated 11 months ago
• automl / LTO-CMA

  View on GitHub
  Code for the paper "Learning Step-Size Adaptation in CMA-ES"
  ☆12Mar 24, 2023Updated 2 years ago
• DamonOehlman / marked-ast-markdown

  View on GitHub
  Given a marked-ast AST generate markdown output
  ☆10Apr 14, 2022Updated 3 years ago
• Brayconn / TheKingsTable

  View on GitHub
  The latest and greatest in Cave Story editing technology!
  ☆11Jul 22, 2023Updated 2 years ago
• fused-effects / fused-effects-lens

  View on GitHub
  Lens combinators for fused-effects.
  ☆17Oct 19, 2020Updated 5 years ago
• ekmett / indexed

  View on GitHub
  Indexed Functors for GHC 7.6
  ☆22Aug 20, 2019Updated 6 years ago
• OndreVo / JoplinGPTPlugin

  View on GitHub
  ☆11May 2, 2023Updated 2 years ago
• IdanAchituve / GDKL

  View on GitHub
  Code that accompanies the paper Guided Deep Kernel Learning
  ☆10Jul 2, 2023Updated 2 years ago
• iamvdo / Reveal-liveCoding

  View on GitHub
  Live coding in Reveal.js
  ☆17Aug 9, 2016Updated 9 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago