arthuraa / cufp-2015-tutorialLinks
An introductory tutorial for the Coq proof assistant.
☆10Updated 6 years ago
Alternatives and similar repositories for cufp-2015-tutorial
Users that are interested in cufp-2015-tutorial are comparing it to the libraries listed below
Sorting:
- 京豆项目☆74Updated 2 years ago
- Quickly add a task to Asana using Alfred☆21Updated 5 years ago
- ☆11Updated 2 years ago
- There are two parts to this project; an installer and a launcher program. A replacement installer (setup program) for Grim Fandango. The …☆26Updated 2 years ago
- A lightweight library for efficient React Context updates using selectors. (< 1kb gzipped)☆27Updated 5 months ago
- 华中科技大学2021级计算机学院接口技术☆6Updated last year
- Modern, half-finished, bytecode manipulation library aimed at the JVM☆10Updated 3 weeks ago
- Python Task☆14Updated 2 years ago
- A simple application designed to automate a covered calls trading strategy https://arkm97.github.io/covered-calls/)☆10Updated 3 years ago
- ☆25Updated 2 months ago
- a simple discord.js command handler for v13☆5Updated 3 years ago
- Minecraft JSON Model Extensions for Fabric☆21Updated 11 months ago
- 线上商 品浏览及线下交易系统，包括用户手机端「Android」，商家电脑端「.NET」等。主要实现：用户浏览商品信息，选择有意向的商品并提交订单信息，之后商家和用户在线下完成商品交易☆43Updated 3 years ago
- Paper: Gradient-boosted equivalent sources method for interpolating very large gravity and magnetic datasets☆19Updated 3 years ago
- configuration for vim, bash, zsh, etc...☆23Updated last week
- Pivot a table by any number of columns; customization functionalities similar to Excel; includes Airflow operator☆20Updated 5 years ago
- hex pretty printing for javascript (node & browser)☆99Updated last year
- ☆54Updated 8 months ago
- ☆73Updated 9 years ago
- ☆14Updated last year
- Track Kubernetes CVEs by native GitHub notifications!☆12Updated last year
- Makes firestore requests using the Google REST API to avoid the gRPC cold start issue.☆25Updated 6 years ago
- 7C: Computational Chromosome Conformation Capture by Correlation of ChIP-seq at CTCF motifs☆13Updated 6 years ago
- ToDo Manager built with Lightning Web Component framework☆47Updated last year
- Growth 3.0 with React Native - an app to help you to be Awesome Developer☆1,286Updated 7 years ago
- CMSIS-DAP compliant SWD Programmer☆24Updated last year
- A reverse-engineered version of ShitpostBot 5000☆30Updated 2 years ago
- ☆12Updated 3 years ago
- This is a ecommerce project with some basic features.☆29Updated 2 years ago
- Meeting Guide compatible Python package for Django's Wagtail CMS: meetings, locations, and API.☆17Updated last year
- Skycons as React components☆22Updated 2 years ago