Zeta611/polycalc 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

Zeta611/polycalc

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/Zeta611/polycalc)

Close

Zeta611 / polycalcView on GitHubMore

• External links
• Readme badge

🧮 Polynomial Calculator

☆12Jan 3, 2023Updated 3 years ago

Alternatives and similar repositories for polycalc

Users that are interested in polycalc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆18May 24, 2026Updated 4 months ago
• Zeta611 / simplebnf

  View on GitHub
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆51Updated this week
• ylemkimon / SNU-ECE-BSc-thesis-LaTeX-template

  View on GitHub
  서울대학교 전기정보공학부 학사 학위논문 LaTeX (비공식) 템플릿
  ☆20Jun 21, 2021Updated 5 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 8 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• codex-semantics-library / patricia-tree

  View on GitHub
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆18Aug 26, 2026Updated last month
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 3 years ago
• Zeta611 / react-trace

  View on GitHub
  ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics
  ☆39Jun 5, 2026Updated 4 months ago
• Zeta611 / snu-ece-bsc-thesis

  View on GitHub
  서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스
  ☆42Nov 3, 2025Updated 11 months ago
• shwestrick / mpl-1brc

  View on GitHub
  Solving the 1 Billion Row Challenge in MPL
  ☆17Jan 9, 2024Updated 2 years ago
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• Zeta611 / Video-Converter

  View on GitHub
  A simple video convertor for Mac
  ☆20Dec 11, 2021Updated 4 years ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48May 15, 2026Updated 4 months ago
• yhs0602 / Kovik

  View on GitHub
  Dalvik emulator written in Kotlin, highly inspired by Katalina
  ☆13Nov 11, 2024Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• hide-kawabata / traf

  View on GitHub
  A proof tree viewer that works with Coq through Proof General
  ☆28Jan 29, 2021Updated 5 years ago
• lynn / universal-lambda

  View on GitHub
  A minimal esolang based on lambda calculus
  ☆16Jan 13, 2021Updated 5 years ago
• matrix-org / remember-this-rs

  View on GitHub
  A simple Rust crate to cache data both in-memory and on disk
  ☆11Dec 26, 2021Updated 4 years ago
• countywest / progressive_growing_of_points

  View on GitHub
  Progressive Growing of Points with Tree-structured Generators (BMVC 2021)
  ☆11Sep 4, 2026Updated last month
• jorahn / llama-int8

  View on GitHub
  Quantized inference code for LLaMA models
  ☆13Mar 12, 2023Updated 3 years ago
• fan-tom / liquid-rust

  View on GitHub
  Liquid Types implementation for Rust
  ☆31Sep 30, 2022Updated 4 years ago
• tomtomjhj / coq-lsp.nvim

  View on GitHub
  Neovim client for coq-lsp
  ☆32May 3, 2026Updated 5 months ago
• bluespec / AWSteria_Infra

  View on GitHub
  "Middleware" (infrastructure) for host-FPGA applications (e.g., accelerators)
  ☆20Sep 26, 2024Updated 2 years ago
• xavierleroy / canonical-binary-tries

  View on GitHub
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆23Apr 17, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated 2 years ago
• softwarelanguageslab / maf

  View on GitHub
  Static Analysis Framework for Modular Analyses
  ☆14Jul 29, 2026Updated 2 months ago
• easyword-kr / easyword

  View on GitHub
  🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)
  ☆41Jun 21, 2026Updated 3 months ago
• braibant / Synthesis

  View on GitHub
  ☆21Aug 1, 2015Updated 11 years ago
• ilya-bystrov / djvu2pdf-docker

  View on GitHub
  A convenient way to convert files from DjVu to PDF format while preserving the text layer
  ☆31Aug 28, 2026Updated last month
• taeber / cwith

  View on GitHub
  Automatic cleanup in C using with-statements
  ☆18May 6, 2022Updated 4 years ago
• pd95 / TinyDraw-Live

  View on GitHub
  A simple drawing app for iPad using SwiftUI.
  ☆10Dec 12, 2021Updated 4 years ago
• xncbf / django-dynamodb-cache

  View on GitHub
  Django cache backend for serverless
  ☆32Jan 28, 2024Updated 2 years ago
• rayleighko / dev4newbie

  View on GitHub
  신입 엔지니어를 위한 개발 가이드
  ☆10Feb 14, 2020Updated 6 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• Zeta611 / SwiftUI-Fractals

  View on GitHub
  ❄️ The Sierpinski carpet, triangle, and a fractal tree using SwiftUI
  ☆31Dec 11, 2021Updated 4 years ago
• jmrtsh / MoNaCo

  View on GitHub
  An MLIR to Native Code generator
  ☆16Jan 3, 2024Updated 2 years ago
• techinpark / appstore-review-bot

  View on GitHub
  🤖 Easy forward appstore reviews to slack channel using webhook with Github Actions
  ☆17Dec 11, 2022Updated 3 years ago
• pedrobslisboa / ppx-by-example

  View on GitHub
  This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
  ☆45Dec 3, 2024Updated last year
• napi-rs / escape-simd

  View on GitHub
  Optimized SIMD routines for escaping JSON strings
  ☆21Updated this week
• Lunuy / agda-introduction-korean

  View on GitHub
  수학 증명언어 Agda 입문
  ☆11May 2, 2023Updated 3 years ago
• callmejustdodo / issue-to-notion

  View on GitHub
  issue-to-notion
  ☆30Nov 29, 2020Updated 5 years ago