Alternatives and similar repositories for pl2016

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

• rtgiskard / bibata_cursor

  View on GitHub
  Bibata Cursor, with support for hyprcursor and Xcursor
  ☆19Jan 28, 2025Updated last year
• cool-mist / math_is_beautiful

  View on GitHub
  Collection of interesting patterns, inspired by nature, powered by p5js
  ☆10Jun 2, 2018Updated 7 years ago
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months ago
• bluesignum / Audio-SentenceSplit

  View on GitHub
  With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …
  ☆10Feb 28, 2019Updated 6 years ago
• tsiemens / vim-aftercolors

  View on GitHub
  Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)
  ☆11May 7, 2017Updated 8 years ago
• YiHoze / texwrapper

  View on GitHub
  Wrapper scripts to make documentation easier
  ☆13Jan 27, 2026Updated 2 weeks ago
• gmevel / euler-lib

  View on GitHub
  an arithmetic library for OCaml’s native integers
  ☆11Jun 30, 2024Updated last year
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated 3 weeks ago
• mcsekar12 / Apartment-Management

  View on GitHub
  Apartment management application using nodejs and postgres
  ☆11Jul 12, 2017Updated 8 years ago
• agarwal / ppx_basic_demo

  View on GitHub
  Basic demo of OCaml's PPX feature.
  ☆10Mar 22, 2015Updated 10 years ago
• YiHoze / HzGuide

  View on GitHub
  latex class for manuals
  ☆11Sep 10, 2024Updated last year
• ENvironmentSet / overcurried

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated last year
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated last year
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• codex-semantics-library / patricia-tree

  View on GitHub
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Jan 19, 2026Updated 3 weeks ago
• yhs0602 / Kovik

  View on GitHub
  Dalvik emulator written in Kotlin, highly inspired by Katalina
  ☆13Nov 11, 2024Updated last year
• bagyoni / procedural-wallpapers

  View on GitHub
  A collection of wallpaper generators
  ☆14Sep 16, 2018Updated 7 years ago
• anyenv / anyenv-install

  View on GitHub
  Default anyenv install manifests
  ☆13Dec 27, 2022Updated 3 years ago
• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆14Updated this week
• aciidgh / SwiftDoc.vim

  View on GitHub
  Vim plugin to generate markup for swift functions
  ☆12Jun 8, 2016Updated 9 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• mokus0 / polynomial

  View on GitHub
  Haskell library for manipulating and evaluating polynomials
  ☆20Feb 24, 2022Updated 3 years ago
• sparkfun / qwiic_serlcd_py

  View on GitHub
  Python module for I2C control of the SparkFun Qwiic Serial LCDs
  ☆13May 28, 2025Updated 8 months ago
• art-w / babiseat

  View on GitHub
  add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
  ☆17Nov 5, 2023Updated 2 years ago
• janestreet / handled_effect

  View on GitHub
  Typed effects API for OxCaml
  ☆20Jan 15, 2026Updated 3 weeks ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 9 months ago
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago
• egraphs-good / egraph-serialize

  View on GitHub
  egraph <-> json
  ☆16Dec 29, 2025Updated last month
• Zeta611 / golpy

  View on GitHub
  Efficient Conway's Game of Life implemented in Python using NumPy.
  ☆14May 1, 2024Updated last year
• kevincfz / scheme

  View on GitHub
  A Scheme interpreter in Python
  ☆14Jul 7, 2014Updated 11 years ago
• janestreet / ppx_js_style

  View on GitHub
  Code style checker for Jane Street Packages
  ☆21Jan 15, 2026Updated 3 weeks ago
• zoomlogo / vim-apl

  View on GitHub
  ☆11Mar 6, 2023Updated 2 years ago
• yogjin / Create-Files-With-Custom-Template

  View on GitHub
  Create Files With Custom Template is an extension for Visual Studio Code that enables the quick and easy creation of new files using user…
  ☆16Jan 9, 2024Updated 2 years ago
• Karumi / MarvelApiClient

  View on GitHub
  Marvel Api Client written in Swift.
  ☆14Sep 17, 2019Updated 6 years ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated last year
• hcarty / ocaml-plplot

  View on GitHub
  OCaml bindings for PLplot
  ☆17Jun 29, 2025Updated 7 months ago
• steventroughtonsmith / catalystvideogrid

  View on GitHub
  Catalyst example of a grid-based video app that opens videos in secondary windows
  ☆22Feb 8, 2022Updated 4 years ago
• EvanBurchard / wish

  View on GitHub
  node assertion library without special syntax
  ☆42Mar 22, 2018Updated 7 years ago