Alternatives and similar repositories for sean-codes.github.io

Users that are interested in sean-codes.github.io are comparing it to the libraries listed below

• olaoluwa-98 / laravel-payant
  A Laravel Package for Payant's payment API
  ☆13Updated 8 years ago
• toksdotdev / Money-To-Words-Converter
  💲 Translate monetary values into worded equivalent (supports 60+ languages)
  ☆43Updated 4 years ago
• codehakase / studyLog
  A Study Log Web Application i built to log my progress during self created streaks.
  ☆18Updated 5 years ago
• PHDevsConnect / phdevsdir
  WIP: A Directory app for web devs in Port Harcourt, Nigeria. Built with React and Express
  ☆14Updated 8 years ago
• JonathanItakpe / payantNG-php
  PHP Library for PayantNG
  ☆14Updated 8 years ago
• neoighodaro / nimble
  Fast PHP framework made with very loose optional components.
  ☆51Updated 3 years ago
• frontstackio / frontstack.io
  ☆13Updated 3 years ago
• tominated / system_f_omega
  My Attempt at System Fω with Row-Polymorphism
  ☆30Updated 4 years ago
• CoqHott / exceptional-tt
  A Coq plugin that implements exceptions in Coq
  ☆13Updated 5 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 2 months ago
• neoighodaro / resource-monitor
  Resource uptime monitor (e.g Internet and power)
  ☆18Updated 8 years ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆17Updated 3 years ago
• kaythinks / kayphpframework
  A minimalistic MVC framework , for real PHP developers, by real PHP developers.
  ☆11Updated 2 years ago
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 8 years ago
• andrejbauer / social-distancing-simulator
  An artificial simulation of social distancing in the time of an epidemic.
  ☆30Updated 5 years ago
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Updated 2 years ago
• rocq-community / aac-tactics
  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…
  ☆36Updated 3 months ago
• catseye / Philomath
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Updated 2 years ago
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 5 years ago
• idoqo / waec
  Unofficial developer-facing API for WASSCE results.
  ☆23Updated 7 years ago
• yforster / coqtheorem
  A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
  ☆21Updated 6 years ago
• isocroft / Jollof
  A lightweight PHP framework for developers who love smart work
  ☆32Updated 2 years ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated last year
• ireade / SeniorWebDeveloperNanodegree
  My Senior Web Developer Nanodegree
  ☆16Updated 9 years ago
• DevTips / Artists-Theme
  🌄 A free Jekyll Theme developed by the DevTips Community
  ☆590Updated 4 years ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 6 years ago
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆17Updated 8 months ago
• codehakase / php-exam
  A PHP exam with questions from beginner to expert level curated by @codehakase
  ☆12Updated 8 years ago
• hurlatunde / SwallowJS
  A lightweight framework to help kick start your Firebase project to build interactive web interfaces
  ☆16Updated 6 years ago
• rocq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆18Updated 3 months ago