☆10Sep 7, 2016Updated 10 years ago
Alternatives and similar repositories for bksol
Users that are interested in bksol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html☆11Dec 30, 2018Updated 7 years ago
- Coq Code☆17Oct 24, 2026Updated last week
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆21May 4, 2014Updated 12 years ago
- ☆20Mar 21, 2017Updated 9 years ago
- History-Driven Test Program Synthesis for JVM Testing☆10Nov 12, 2021Updated 4 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.
- grpckit is your docker swiss army knife for grpc and protobuf generation☆10Apr 9, 2024Updated 2 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- A rust operating system for the ARM V7-A running on a beaglebone black☆12Mar 11, 2021Updated 5 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆11May 24, 2017Updated 9 years ago
- ☆10Apr 27, 2021Updated 5 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- This is the global manifest for Parrot Ground SDK.☆13Jun 6, 2023Updated 3 years ago
- Ncurses binding for the Odin programming language☆18Jul 18, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun 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.
- 北大成绩查询页面（Re-implemented by Angular）☆20Jan 19, 2024Updated 2 years ago
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆25Jun 17, 2015Updated 11 years ago
- 北大树洞备份关注列表脚本☆15Sep 12, 2022Updated 4 years ago
- MSRLSTM is a deep learning model for transportation mode detection.☆11Sep 1, 2024Updated 2 years ago
- ☆18Aug 18, 2025Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆131Feb 15, 2025Updated last year
- a bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- Parallel ML benchmark suite☆23Dec 8, 2025Updated 10 months ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 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.
- ☆19Jun 6, 2014Updated 12 years ago
- A game engine for 2D pixel game powered by C++ (自家用).☆12Aug 31, 2022Updated 4 years ago
- 附带 xfce4 的 archiso 52 配置档☆11Feb 13, 2022Updated 4 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- [Deprecated] Magic of modern c++. Run time type info, reflection, and other fantasic features.☆11Jun 27, 2023Updated 3 years ago
- Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/☆17Oct 18, 2012Updated 14 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 14 years ago
- Modern Compiler Implementation in ML☆10May 7, 2017Updated 9 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆15Oct 21, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun 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.
- Examples for ARM Lecture☆15Aug 7, 2014Updated 12 years ago
- 《数据库概论》大作业：外卖系统☆14Jan 6, 2023Updated 3 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 7 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated last year
- Tons of Inductive Problems: The Benchmarks☆30Jul 5, 2023Updated 3 years ago
- Build your own Arch Linux ISO made with 'archiso' using Docker☆17Jul 22, 2023Updated 3 years ago