palmskog

palmskog's Stars

• electronicarts/CnC_Remastered_Collection

  Command & Conquer: Remastered Collection

  Language:C++20.9k54005.3k

• easydiffusion/easydiffusion

  Easiest 1-click way to create beautiful artwork on your PC using AI, with no tech knowledge. Provides a browser UI for generating images from text prompts and images. Just enter your text prompt, and see the generated image.

  Language:JavaScript9.8k1001.1k817

• redhat-developer/vscode-extension-tester

  ExTester: Your Essential UI Testing Companion for Visual Studio Code Extensions! Seamlessly execute UI tests with Selenium WebDriver, ensuring robustness and reliability in your extension development journey. Simplify UI testing for your VS Code extensions and elevate the quality of your user interface effortlessly.

  Language:TypeScript2741344976

• ricardobranco777/docker-volumes.sh

  The docker-export and docker-commit commands do not save the container volumes. Use this script to save and load the container volumes.

  Language:Shell21912779

• hacspec/hax

  A Rust verification tool

  Language:OCaml209960122

• esc0rtd3w/blank-intro-videos

  A Collection of Blank Video Files For Removing Intro Videos and Other

  133727

• 5im-0n/sshenc.sh

  bash script to encrypt data using a users ssh public key.

  Language:Shell1033725

• uds-psl/MPCTT

  Modeling and Proving in Computational Type Theory

  Language:Coq918010

• jldodds/coq-lean-cheatsheet

  A quick reference for mapping Coq tactics to Lean tactics

  Language:Lean70744

• sipa/safegcd-bounds

  Bounds on divsteps iterations in safegcd

  Language:Coq545011

• kazu-yamamoto/llrbtree

  Left-leaning red-black trees

  Language:Haskell48727

• fblanqui/color

  Coq library on rewriting theory and termination

  Language:Coq3631121

• atsb/NakedAVP

  NakedAVP is a port of Aliens vs Predator Classic (2000) to modern systems, based on the icculus port for Linux, macOS and Windows using SDL3

  Language:C35375

• affeldt-aist/coq-robot

  Mathematics of Rigid Body Transformationss using Coq and MathComp

  Language:Coq26653

• AU-COBRA/PoS-NSB

  A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq

  Language:Coq25302

• thery/hanoi

  Hanoi tower in Coq

  Language:Coq25201

• jwiegley/coq-cds4ltl

  A formalization of finite, constructive log analysis using linear temporal logic

  Language:Coq2040

• damien-pous/coinduction

  coinduction library for Coq

  Language:Coq172154

• coq-community/tarjan

  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  Language:Coq14828

• coq-community/mmaps

  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]

  Language:Coq12353

• slasser/CoStar

  A parser based on the ALL(*) algorithm, implemented and verified in Coq.

  Language:Python12644

• fkirc/bitbucket-issues-to-github

  Idempotent script to migrate Bitbucket issues to GitHub. Capable of patching issues even after the initial GitHub posts.

  Language:Python103352

• gerlion/secure-e-voting-with-coq

  Language:OCaml9306

• dedis/epfl-evoting

  Evoting at EPFL project

  Language:Vue8934

• chetmurthy/yay

  YAY Ain't YAML

  Language:OCaml7210

• anishathalye/coqioa

  A formalization of IO automata in the Coq proof assistant

  Language:Coq5203

• mvmramos/v1

  Language:Coq310

• Myshtea/VPatChecker

  Two-Step Model-Based Security Testing tool for Android Applications

  Language:Java2100

• admredbeard/Hyperledger_Fabric_PoC

  Language:Shell1210

• cornell-netlab/poulet4

  Language:Coq11001