a Coq toolkit for graph theory
☆14Oct 18, 2020Updated 5 years ago
Alternatives and similar repositories for graph-basics
Users that are interested in graph-basics are comparing it to the libraries listed below
Sorting:
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- Various examples of machine learning, in Haskell.☆20Feb 9, 2022Updated 4 years ago
- Exercism exercises in Coq.☆19Nov 1, 2024Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Jan 14, 2019Updated 7 years ago
- An implementation of lambda calculus.☆26Aug 23, 2025Updated 6 months ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Some useful control operators for looping☆47Mar 16, 2020Updated 5 years ago
- (翻译)JavaScript轻量级函数式编程☆14Sep 30, 2019Updated 6 years ago
- Vim Syntax for todo.txt (todotxt.com)☆28Jan 28, 2013Updated 13 years ago
- 基于分形理论中的参数L-系统，使用OpenGL与VC++实现了真实度较高的三维树木，并且可以通过调整参数进行树木的变换。☆12Jun 5, 2018Updated 7 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Jul 6, 2020Updated 5 years ago
- A simple Dyalog APL IDE plugin that introduces "projects" and allows you to keep your source code in Unicode text files.☆12Mar 15, 2022Updated 3 years ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated 2 months ago
- IntvalPy - a Python interval computation library☆14Jan 25, 2026Updated last month
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- 华为集合通信性能测试☆15May 27, 2024Updated last year
- A programming language similar to human natural language expression☆10Jul 1, 2020Updated 5 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- ☆12Feb 13, 2026Updated 2 weeks ago
- ☆11May 29, 2015Updated 10 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- ☆13Apr 25, 2022Updated 3 years ago
- N-Queens puzzle built with react and SWI Pengines.☆10Feb 24, 2025Updated last year
- ☆17Nov 29, 2025Updated 3 months ago
- 从Docker官方Ubuntu镜像，定制中国地区使用的对应镜像。☆13Jan 13, 2021Updated 5 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Asynchronous traffic simulation application using async-api☆16Jul 28, 2025Updated 7 months ago
- Team Contest Reference and additional material for Team ChaosKITs☆13Mar 6, 2020Updated 5 years ago