![react logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/react/react.png)
open source developer, CTO of Shopmonkey, previous co-founder/CEO of pinpoint.com, previous co-founder/CEO of Appcelerator
- Austin, TX
-
14:26
(UTC -05:00) - https://jhaynie.dev/
- @jhaynie
Highlights
Block or Report
Block or report jhaynie
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Language: Coq
All languages
ActionScript
Assembly
Astro
Batchfile
Bicep
C
C#
C++
CSS
Clojure
CoffeeScript
Coq
Crystal
Dart
Dockerfile
EJS
Elixir
Elm
FreeMarker
Gherkin
Go
Groovy
HCL
HTML
Hack
Handlebars
Haskell
JSON
Java
JavaScript
Jinja
Jupyter Notebook
Kotlin
Less
Lua
MDX
Makefile
Markdown
Mustache
Nunjucks
Objective-C
Objective-C++
Objective-J
Open Policy Agent
PHP
PLpgSQL
Perl
PowerShell
Pug
Python
R
Ragel
ReScript
Rich Text Format
Roff
Ruby
Rust
SCSS
Scala
Shell
Smarty
Starlark
SuperCollider
Svelte
Swift
TeX
TypeScript
V
Vim Script
Vue
WebAssembly
Zig
templ
Nothing to show
Sort by: Most stars
Starred repositories
1
star
written in Coq
Clear filter
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter