Explore projects

H

Hammer / hammer
GNU General Public License v2.0 or later

6

Updated Jun 14, 2023

6 9 7 80

Updated Jun 14, 2023
H

Sven M. Hallberg / hammer
GNU General Public License v2.0 or later

4

Updated Feb 16, 2023

4 1 1 0

Updated Feb 16, 2023
P

Sven M. Hallberg / pdf
BSD Zero Clause License

4

Updated Jun 15, 2023

4 5 2 26

Updated Jun 15, 2023
P

safedocs-ta2-profiling / perf-instrumentation
GNU General Public License v3.0 or later

WIP code for instrumenting a perf trace with parser names

1

Updated May 25, 2023

1 0 0 4

Updated May 25, 2023
H

Kia / Hammer FPGA backend

1

Updated Oct 29, 2021

1 0 0 0

Updated Oct 29, 2021
H

Meredith L. Patterson / hammer
GNU General Public License v2.0 or later

1

Updated Mar 09, 2020

1 0 0 0

Updated Mar 09, 2020
I

Kia / integer-range-bug-investigation

0

Updated Oct 14, 2021

0 0 0 0

Updated Oct 14, 2021
P

xentrac / pdf
BSD 3-Clause "New" or "Revised" License

0

Updated Mar 05, 2021

0 0 0 0

Updated Mar 05, 2021
H

Kia / hammer-sandbox
GNU General Public License v2.0 or later

0

Updated Aug 17, 2021

0 0 0 0

Updated Aug 17, 2021
H

Kia / hammer
GNU General Public License v2.0 or later

0

Updated Aug 18, 2021

0 0 0 0

Updated Aug 18, 2021
I

xentrac / izodparse
GNU General Public License v3.0 only

tool for exploring file formats and testbed for Hammer ideas

0

Updated Jul 08, 2021

0 0 0 0

Updated Jul 08, 2021
P

Marco / parseque
GNU General Public License v3.0 only

Parseque mirror & fixes for current Coq

0

Updated Sep 09, 2020

0 0 0 0

Updated Sep 09, 2020
H

Marco / hammer
GNU General Public License v2.0 or later

0

Updated Sep 09, 2020

0 0 0 0

Updated Sep 09, 2020
P

Letitia Li / pdf
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 10, 2021

0 0 0 0

Updated Jun 10, 2021
V

Andrea Shepard / voting-experts-reference

0

Updated Jun 05, 2020

0 0 0 0

Updated Jun 05, 2020
L

Andrea Shepard / language-complexity

0

Updated May 27, 2020

0 0 0 0

Updated May 27, 2020
E

Andrea Shepard / error-ontology

Error ontology trees for SafeDocs

0

Updated May 28, 2020

0 2 0 0

Updated May 28, 2020
E

Meredith L. Patterson / error-ontology

Error ontology trees for SafeDocs

0

Updated May 27, 2020

0 0 0 0

Updated May 27, 2020
H

Letitia Li / hammer
GNU General Public License v2.0 or later

0

Updated Jun 03, 2020

0 0 0 0

Updated Jun 03, 2020
M

Kia / mallet

parser-combinator -> gateware flow targeting regular languages

0

Updated Oct 29, 2021

0 0 0 0

Updated Oct 29, 2021