|
|
Coq |
11 |
Collection of tactics I've found useful in Coq |
Oct 16, 2021 |
|
|
R |
3 |
Some R functions I've written and have found useful. |
Apr 06, 2022 |
|
|
C++ |
10 |
Algorithms that I've found useful. |
Sep 02, 2017 |
|
|
TypeScript |
2 |
Some angular gotchas I've found: |
Apr 27, 2021 |
|
|
Python |
3 |
a few miscellaneous functions I've found useful |
Feb 27, 2015 |
|
|
Shell |
2 |
Various scripts I've found useful to have |
Apr 05, 2023 |
|
|
C# |
73 |
Some random C# extension methods I've found useful. Published as Ardalis.Extensions on Nuget. |
Aug 22, 2022 |
|
|
TSQL |
2 |
Collection of SQL Scripts that I've found useful |
Oct 20, 2020 |
|
|
Ruby |
2 |
some simple extensions on top of inherited_resources that i've found useful in my projects |
Mar 26, 2014 |
|
|
None |
6 |
A collection of links that I've found useful or will find useful. |
May 28, 2023 |
|
|
Coq |
34 |
Coq library for tactics, basic definitions, sets, maps |
Jun 06, 2022 |
|
|
Coq |
4 |
Tactics, utility lemmas, and relation combinators for Coq |
May 09, 2016 |
|
|
Python |
2 |
An interactive app with some snippets I've found helpful |
Mar 08, 2023 |
|
|
C# |
13 |
A collection of algorithms I've implemented and found generally useful |
Mar 26, 2023 |
|
|
Java |
5 |
Various libraries and scripts I've found useful for Domino development |
Nov 05, 2019 |
|
|
JavaScript |
4 |
A collection of useful ServiceNow code snippets that I've written and found useful. |
Jan 24, 2023 |
|
|
None |
6 |
A collection of some wallpapers I've found during my travels. |
Mar 20, 2023 |
|
|
Shell |
2 |
Miscellaneous Bash scripts that I've created and found useful over the years |
Nov 26, 2019 |
|
|
Lua |
2 |
Code that I decide to give away or that I've found useful. |
Sep 03, 2022 |
|
|
None |
2 |
A collection of notes, code sippets and tidbits that I've found useful. |
Jul 15, 2023 |
|
|
None |
2 |
Some commands that I found useful along with some basic commands |
Feb 23, 2022 |
|
|
None |
36 |
A repo to centralize some of the regular expressions I've found useful over the course … |
Sep 09, 2022 |
|
|
Coq |
120 |
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai] |
Apr 07, 2023 |
|
|
JavaScript |
2 |
Some scripts I found useful while working with MongoDB |
Jan 11, 2022 |
|
|
Shell |
2 |
Some useful scripts for glftpd can be found here. |
Oct 24, 2021 |
|
|
JavaScript |
2 |
A typical helper file with some interesting functions I've found and modified. |
Aug 31, 2022 |
|
|
Jupyter Notebook |
5 |
Whenever i found some snippet useful, i save it here. |
Jan 20, 2022 |
|
|
None |
2 |
A list of things I've used myself and found to be robust and useful. |
May 18, 2023 |
|
|
JavaScript |
41 |
cypress tips and tricks i've found |
May 02, 2023 |
|
|
C# |
321 |
Misc collection of Unity utilities and useful scripts, some I wrote, some I found. |
Aug 12, 2022 |
|
|
Java |
4 |
Some pieces of Processing code we’ve found useful for geospatial stuff. |
May 15, 2023 |
|
|
None |
4 |
Some useful cheat-sheets I've made because "A man has no memory"! |
Jul 13, 2022 |
|
|
Coq |
3 |
Conversion from System T to continuation-passing style (CPS) |
Jan 06, 2018 |
|
|
Coq |
4 |
None |
Feb 03, 2022 |
|
|
Coq |
4 |
None |
Sep 07, 2021 |
|
|
Coq |
4 |
Using VexRiscv without installing Scala |
Dec 10, 2020 |
|
|
Coq |
4 |
linear algebra done right in coq |
Oct 04, 2021 |
|
|
Coq |
4 |
Coq code demonstrating a method for representing and reasoning about idealized cryptographic hashing functions |
Jul 06, 2020 |
|
|
Coq |
4 |
Experiments with an extensible refinement framework |
Oct 10, 2019 |
|
|
Coq |
4 |
None |
Mar 03, 2021 |
|
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
|
Coq |
4 |
A Coq framework to support structural design and proof of hardware cache-coherence protocols |
Jun 05, 2022 |
|
|
Coq |
4 |
Using Coq to derive network configurations from declarative policies |
Dec 16, 2021 |
|
|
Coq |
4 |
A Coq library for verifying dependencies of stencil implementations |
Apr 14, 2020 |
|
|
Coq |
4 |
A tutorial on the ott tool for presenting type theory |
Oct 06, 2020 |
|
|
Coq |
4 |
None |
Aug 13, 2020 |
|
|
Coq |
4 |
Typeclasses, datatypes and theorems for functional programming in Coq. |
May 02, 2020 |
|
|
Coq |
4 |
Some Coq formalizations of Linear Logic |
Feb 05, 2022 |
|
|
Coq |
4 |
None |
Dec 29, 2021 |
|
|
Coq |
4 |
None |
Jan 12, 2019 |