Alternatives and similar repositories for micro-policies-coq

Users that are interested in micro-policies-coq are comparing it to the libraries listed below

• arthuraa / memory-safe-language

  View on GitHub
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Sep 27, 2021Updated 4 years ago
• 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
• msp-strath / ZEUG

  View on GitHub
  being the beginnings of at least zero typecheckers
  ☆34Apr 13, 2017Updated 8 years ago
• arthuraa / poleiro

  View on GitHub
  A blog about Coq
  ☆46Apr 12, 2022Updated 3 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
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago
• lastland / WebSpec

  View on GitHub
  ☆17May 10, 2017Updated 8 years ago
• hubris-lang / hubris

  View on GitHub
  A dependently typed programming language, and verification tool
  ☆27Apr 3, 2016Updated 9 years ago
• MuhammadMohsin / PIAIC-Teaching

  View on GitHub
  ☆10Jan 7, 2020Updated 6 years ago
• HuaxinLu / MPC5744P_UCOSII

  View on GitHub
  MPC5744的UCOSII移植
  ☆10May 11, 2019Updated 6 years ago
• arthuraa / extructures

  View on GitHub
  Finite sets and maps for Coq with extensional equality
  ☆30Jan 16, 2026Updated last month
• jaireddjawed / Azlo-Node

  View on GitHub
  Node.js REST API Wrapper for Azlo Bank.
  ☆10Jan 27, 2022Updated 4 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
• furlan / abap101-codes

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

  View on GitHub
  ☆10Jul 27, 2018Updated 7 years ago
• ucsd-progsys / mist

  View on GitHub
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Jun 22, 2021Updated 4 years ago
• FStarLang / fstar-mode.el

  View on GitHub
  Emacs support for F*
  ☆70Jun 25, 2025Updated 7 months ago
• kjam / europarl_scraper

  View on GitHub
  European Parliament website Python scraper
  ☆12Oct 19, 2016Updated 9 years ago
• DarrenSweeney / Fusion_Rush

  View on GitHub
  Fusion Rush is a racing game for GamesFleadh 2017.
  ☆11Sep 12, 2017Updated 8 years ago
• BranLiang / lambda-eks

  View on GitHub
  lambda function for eks deployment
  ☆10Oct 11, 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
• shitgram / node-shitgram

  View on GitHub
  A JavaScript library to make requests to Instagram
  ☆10Mar 27, 2020Updated 5 years ago
• ruvictor / Paypal-payments-standard-php-integration

  View on GitHub
  Paypal Payments PHP Integration
  ☆11Dec 17, 2018Updated 7 years ago
• evenfound / even-cpp

  View on GitHub
  ☆10Mar 18, 2019Updated 6 years ago
• jbosstools / m2e-wro4j

  View on GitHub
  m2e connector for WRO4J
  ☆35Apr 7, 2023Updated 2 years ago
• mugan86 / android-kotlin-qr-scanner

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

  View on GitHub
  ☆10Aug 17, 2022Updated 3 years ago
• Svotin / umbrella

  View on GitHub
  lua scripts for dota2
  ☆10Jul 28, 2019Updated 6 years ago
• aletheia7 / norm

  View on GitHub
  go norm provides reliable UDP using multicast and unicast sockets
  ☆10May 8, 2017Updated 8 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
• DonnieSantos / Algorithms

  View on GitHub
  ☆10Jun 25, 2020Updated 5 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 4 months ago
• wilbowma / cic-redex

  View on GitHub
  A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
  ☆34May 27, 2017Updated 8 years ago
• jwinterm / monerobux

  View on GitHub
  monerobux modules for sopel irc bot
  ☆11Aug 24, 2021Updated 4 years ago