vrama628's Stars
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
opentofu/manifesto
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.
deezer/spleeter
Deezer source separation library including pretrained models.
facebook/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
huggingface/candle
Minimalist ML framework for Rust
tc39/ecma262
Status, process, and documents for ECMA-262
microsoft/pyright
Static Type Checker for Python
aantron/dream
Tidy, feature-complete Web framework
viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
TypeFox/monaco-languageclient
Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
ocsigen/lwt
OCaml promises and concurrent I/O
svenkreiss/unicodeit
Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
azdavis/millet
A language server for Standard ML.
talex5/js-skeleton
sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`
jluningp/sml-style-check
An extendable style checker for Standard ML
tkadur/150BadStyleS19
jacobneu/150BadStyleS18
jluningp/tabadstyle
jvanbrie/dominion_ai_python_client
A python client for playing dominion AI