RA80533's repositories
Language:DockerfileMIT000
lgtm
LGTM is a simple pull request approval system [ARCHIVE]
Apache-2.0000
Language:HTMLMIT000
muSE
Automatically exported from code.google.com/p/muvee-symbolic-expressions
NOASSERTION000
ping-project
Follow the development process of creating a web application on Glitch
000
pygrep
Find python identifiers
000
refscript
Refinement Types for Scripting Languages
BSD-3-Clause000
RegistryArtifactTypes
As OCI registries support multiple artifact types, we need a means to understand the artifacts by their manifests
MIT000
000
testify
Run JavaScript & TypeScript tests easily using CodeLens
MIT000
training-kit
Open source cheat sheets for Git and GitHub
CC-BY-4.0000
ts-refined
Refined types for Typescript
000