Giters
David Justo (davidmrdavid)

davidmrdavid

Geek Repo

84

followers

194

following

315

stars

Company:Microsoft

Home Page:http://acsweb.ucsd.edu/~djusto/

Github PK Tool:Github PK Tool

David Justo's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:291282Issues:5288Issues:653

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

Language:C++License:MITStargazers:94488Issues:1315Issues:12534

FizzBuzzEnterpriseEdition

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Language:JavaStargazers:21059Issues:174Issues:553

rockstar

The Rockstar programming language specification

Language:JavaScriptLicense:MITStargazers:6876Issues:124Issues:195

tslint

:vertical_traffic_light: An extensible linter for the TypeScript language

Language:TypeScriptLicense:Apache-2.0Stargazers:5905Issues:337Issues:2764

s2n-tls

An implementation of the TLS/SSL protocols

Language:CLicense:Apache-2.0Stargazers:4473Issues:174Issues:1386

NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

Language:JavaLicense:MITStargazers:3599Issues:69Issues:346

dist-prog-book

Language:CSSLicense:NOASSERTIONStargazers:3421Issues:170Issues:13

weld

High-performance runtime for data analytics applications

Language:RustLicense:BSD-3-ClauseStargazers:2990Issues:111Issues:168

dactyl-keyboard

Parameterized ergonomic keyboard

Language:OpenSCADLicense:AGPL-3.0Stargazers:2884Issues:148Issues:59

azure-functions-host

The host/runtime that powers Azure Functions

Language:C#License:MITStargazers:1909Issues:182Issues:5729

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellLicense:BSD-3-ClauseStargazers:1565Issues:58Issues:360

semantic_logger

Semantic Logger is a feature rich logging framework, and replacement for existing Ruby & Rails loggers.

Language:RubyLicense:Apache-2.0Stargazers:858Issues:25Issues:139

azure-functions-durable-extension

Durable Task Framework extension for Azure Functions

Language:C#License:MITStargazers:714Issues:93Issues:1610

pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Language:RustLicense:Apache-2.0Stargazers:610Issues:30Issues:62

rdl

Types, type checking, and contracts for Ruby

Language:RubyLicense:BSD-3-ClauseStargazers:602Issues:21Issues:37

awesome-graal

A curated list of awesome resources for Graal, GraalVM, Truffle and related topics

Language:ShellLicense:NOASSERTIONStargazers:355Issues:32Issues:3

vscode-azurefunctions

Azure Functions extension for VS Code

Language:TypeScriptLicense:MITStargazers:291Issues:36Issues:2632

vs-code-clippy

It's clippy! on VS Code!

Language:TypeScriptStargazers:188Issues:6Issues:8

azure-functions-durable-python

Python library for using the Durable Functions bindings.

Language:PythonLicense:MITStargazers:134Issues:49Issues:271

azure-functions-durable-js

JavaScript library for using the Durable Functions bindings

Language:TypeScriptLicense:MITStargazers:128Issues:37Issues:283

synquid

Language:HaskellLicense:MITStargazers:118Issues:5Issues:3

quala

custom type systems for Clang

Language:C++License:MITStargazers:96Issues:9Issues:15

ipolyglot

A polyglot kernel for Jupyter notebooks based on GraalVM.

Language:JavaScriptLicense:NOASSERTIONStargazers:87Issues:15Issues:22

ucsd-thesis

Language:TeXLicense:MITStargazers:69Issues:11Issues:11

mist

A tiny language for teaching and experimenting with Refinement Types

Language:HaskellLicense:MITStargazers:47Issues:8Issues:0

ui-for-pl

User Interfaces for Programming Languages: The Compendium

Language:TeXStargazers:28Issues:4Issues:0

python-durable-preview

Language:DockerfileStargazers:7Issues:2Issues:2

MorpheusFI

When Factorized Learning meets Feature Interactions

Language:PythonLicense:Apache-2.0Stargazers:3Issues:0Issues:0

sNEK

An implementation of a functional, s-expression based language written in Java and developed within ~12 hours.

Language:JavaStargazers:3Issues:1Issues:0