arthuraa/cufp-2015-tutorial 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

arthuraa/cufp-2015-tutorial

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/arthuraa/cufp-2015-tutorial)

Close

arthuraa / cufp-2015-tutorialView on GitHubMore

• External links
• Readme badge

An introductory tutorial for the Coq proof assistant.

☆10Feb 5, 2019Updated 7 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

• vyasmayank43 / CustomInputTextField

  View on GitHub
  Customised UITextField and UITextView with HintLabel, ErrorLabel, Divider and validations
  ☆10May 20, 2016Updated 9 years ago
• au-webdesign / CSC1700

  View on GitHub
  ☆10Sep 19, 2019Updated 6 years ago
• Kartik-Mathur / Launchpad_18Codes

  View on GitHub
  ☆10Jul 20, 2018Updated 7 years ago
• dibagaran / wd-2015-7-alpha

  View on GitHub
  Web Design / July 2015 / Group 1 (Sundays & Tuesdays 18-21)
  ☆10Aug 24, 2015Updated 10 years ago
• HuaxinLu / MPC5744P_UCOSII

  View on GitHub
  MPC5744的UCOSII移植
  ☆10May 11, 2019Updated 6 years ago
• MuhammadMohsin / PIAIC-Teaching

  View on GitHub
  ☆10Jan 7, 2020Updated 6 years ago
• jaireddjawed / Azlo-Node

  View on GitHub
  Node.js REST API Wrapper for Azlo Bank.
  ☆10Jan 27, 2022Updated 4 years ago
• furlan / abap101-codes

  View on GitHub
  Códigos publicados no ABAP101.
  ☆10Jan 31, 2023Updated 3 years ago
• terrosdesigns / golden

  View on GitHub
  Extract data from companies, emerging tech topics and more !
  ☆10May 6, 2019Updated 6 years ago
• danjperron / PIC_MULTI_10_IO

  View on GitHub
  RS-485 module with 10 I/O multi-function
  ☆10May 6, 2022Updated 3 years ago
• paulinhacnn / pythondozero

  View on GitHub
  ☆10Jul 27, 2018Updated 7 years ago
• evenfound / even-cpp

  View on GitHub
  ☆10Mar 18, 2019Updated 6 years ago
• ruvictor / Paypal-payments-standard-php-integration

  View on GitHub
  Paypal Payments PHP Integration
  ☆11Dec 17, 2018Updated 7 years ago
• jbosstools / m2e-wro4j

  View on GitHub
  m2e connector for WRO4J
  ☆35Apr 7, 2023Updated 2 years ago
• Svotin / umbrella

  View on GitHub
  lua scripts for dota2
  ☆10Jul 28, 2019Updated 6 years ago
• mugan86 / android-kotlin-qr-scanner

  View on GitHub
  Example to read qr code with kotlin
  ☆10Jul 24, 2018Updated 7 years ago
• csrobins / eFRI_LiDAR_Handheld

  View on GitHub
  Xamarin.Forms project for an Ontario eFRI LiDAR plot for field data collection for offline data collection on SQLite for iOS and Android.
  ☆10Dec 8, 2022Updated 3 years ago
• GuoxlouG / SSM

  View on GitHub
  ssm简化进销存管理系统
  ☆10Jun 15, 2018Updated 7 years ago
• Cherry-Pie / SocShare

  View on GitHub
  Link builder for social share button for Laravel 5
  ☆10Mar 13, 2017Updated 8 years ago
• dragon1freak / PlatformerCharacterController

  View on GitHub
  A basic one-file platformer controller for Godot 4.x and 3.x
  ☆11Dec 13, 2024Updated last year
• DonnieSantos / Algorithms

  View on GitHub
  ☆10Jun 25, 2020Updated 5 years ago
• aletheia7 / norm

  View on GitHub
  go norm provides reliable UDP using multicast and unicast sockets
  ☆10May 8, 2017Updated 8 years ago
• BranLiang / lambda-eks

  View on GitHub
  lambda function for eks deployment
  ☆10Oct 11, 2018Updated 7 years ago
• shitgram / node-shitgram

  View on GitHub
  A JavaScript library to make requests to Instagram
  ☆10Mar 27, 2020Updated 5 years ago
• aaas24 / snowflake

  View on GitHub
  ☆10Aug 17, 2022Updated 3 years ago
• kevinlynx / servlet-web-framework-demo

  View on GitHub
  a minimum demo web framework based on servlet
  ☆10Sep 3, 2015Updated 10 years ago
• tpoy0099 / option_calculator

  View on GitHub
  ☆10Sep 22, 2025Updated 5 months ago
• kjam / europarl_scraper

  View on GitHub
  European Parliament website Python scraper
  ☆12Oct 19, 2016Updated 9 years ago
• maximbilan / iOS-UIImage-render-to-PDF

  View on GitHub
  iOS Render UIImage to PDF and merging PDF files
  ☆10Sep 22, 2018Updated 7 years ago
• hammer-io / yggdrasil

  View on GitHub
  Connects the 9 worlds of microservices
  ☆10Apr 26, 2018Updated 7 years ago
• rafaelodon / kanban

  View on GitHub
  A simple Kanban for daily tasks based on HTML5/JS with local storage.
  ☆12Feb 13, 2020Updated 6 years ago
• benoror / product-development

  View on GitHub
  📓General styleguides & documentation for modern product development
  ☆10Jul 9, 2019Updated 6 years ago
• disney / hubot-service-now

  View on GitHub
  A hubot script to perform Service Now API record lookups.
  ☆10Apr 17, 2023Updated 2 years ago
• nitinprakash96 / quotegen

  View on GitHub
  This is a JavaScript based Web App that uses API's and Ajax to generate random quotes
  ☆10Jan 26, 2017Updated 9 years ago
• xeliot / 15PuzzleGame

  View on GitHub
  Python implementation of the 15 puzzle game
  ☆10Dec 30, 2016Updated 9 years ago
• codepath / me102_group_project_example

  View on GitHub
  ☆10Nov 22, 2020Updated 5 years ago
• javasync / streamemo

  View on GitHub
  Java streams utility methods for memoization
  ☆11Dec 12, 2024Updated last year
• stephenswat / cocosnoot

  View on GitHub
  A set of tests and miscellaneous useful files for the Compiler Construction (Compilerbouw) course at the University of Amsterdam (UvA)
  ☆10Apr 2, 2018Updated 7 years ago
• lyk2018-python / python1-a

  View on GitHub
  ☆10Aug 3, 2018Updated 7 years ago