☆10Apr 2, 2023Updated 3 years ago
Alternatives and similar repositories for fcomp
Users that are interested in fcomp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆14Jul 6, 2018Updated 8 years ago
- A dependently-typed language with indexed inductive types supported.☆19Updated this week
- Given a sample of JSON, derive an API☆14Apr 17, 2014Updated 12 years ago
- ☆23Apr 28, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A version of Mathematica for golfing purposes.☆11Apr 1, 2024Updated 2 years ago
- ImGui style table cell, but for text mode☆15Feb 3, 2024Updated 2 years ago
- Javalib is a library to access and manipulate Java class files from OCaml.☆19Jul 13, 2024Updated 2 years ago
- ☆28Jan 31, 2018Updated 8 years ago
- Abandoned due to migration. Please checkout https://github.com/Prunoideae/ProbeJS☆12Apr 7, 2022Updated 4 years ago
- https://youtu.be/40cvevHg0J8☆12Jul 19, 2020Updated 6 years ago
- ☆17Dec 3, 2022Updated 3 years ago
- ☆11Dec 3, 2025Updated 10 months ago
- 极客班第一期学员的C++作业请提交到这里，按照自己的学生编号创建文件夹☆12Oct 26, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆38Aug 29, 2021Updated 5 years ago
- A Common Lisp feature to list disks with command line tool df(Linux/Mac) or GetLogicalDrives(Windows), and get disk space information usi…☆13Dec 10, 2020Updated 5 years ago
- Some personal TeX packages☆13Feb 29, 2020Updated 6 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Apr 7, 2022Updated 4 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆12Oct 30, 2017Updated 8 years ago
- ☆12Mar 30, 2023Updated 3 years ago
- 收录CS卷王的经典强（mai）者（ruo）语录☆10May 16, 2021Updated 5 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- Code to accompany the course Understanding Re-frame on PurelyFunctional.tv https://purelyfunctional.tv/courses/understanding-re-frame/☆14Aug 26, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆43Updated this week
- ☆14Oct 30, 2024Updated last year
- ☆18Nov 14, 2021Updated 4 years ago
- Emulate Coq IDE in VIM☆12Jun 14, 2013Updated 13 years ago
- ☆11Oct 13, 2026Updated 2 weeks ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- slides of zju-lambda☆14Feb 9, 2019Updated 7 years ago
- Java implementation of Hindley Milner type inference algorithm for lambda calculus.☆11May 6, 2019Updated 7 years ago
- Package cmdctrl provides very specific startup handling for a daemon process without any possibility for customization.☆24Jun 12, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A regular expression module for MoonBit☆10Jul 4, 2025Updated last year
- A Wolfram Language package which automates interactions with web browsers☆37Sep 14, 2018Updated 8 years ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Manuscript of Modding: the collection of "manuscript" for Minecraft modding tips☆25Jul 9, 2022Updated 4 years ago
- a minimal lisp interpreter written in ruby☆11Apr 15, 2021Updated 5 years ago
- ☆12Jun 8, 2026Updated 4 months ago