ranjitjhala Goto Github PK
Name: Ranjit Jhala
Type: User
Company: University of California, San Diego
Location: San Diego, CA
Blog: www.cs.ucsd.edu/~rjhala
Name: Ranjit Jhala
Type: User
Company: University of California, San Diego
Location: San Diego, CA
Blog: www.cs.ucsd.edu/~rjhala
Assignment 0: Lambda Calculus
Fiddling with ACE to get mouseover annotations
Course Materials for Graduate Class on Algorithmic Software Verification
Port 'ascii-art' package tutorial for Atom to TypeScript
A template package for the Atom editor using typescript.
The only TypeScript package you will ever need
Simple tic-tac-toe using `brick`
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Slides for CAV 2019 tutorial on Refinement Types
Toy compiler using Haskell + LLVM
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
Sample code files to accompany the book “Interactive Data Visualization for the Web”
Configuration files for Vim, Zsh, Screen, Bash Shell
How to create modular Elm code that scales nicely with your app
A smarter tool to automatically generate FFI bindings for C libraries
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])
Utilities for extracting the GHC options needed to compile a given target Haskell file.
Web application for managing grades
Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.
minimal example demonstrating issue with optparse-simple
An experimental alternative take on a graph library for Haskell (inspired by fgl and the Boost Graph Library)
Persistent GHC-powered background server for FAST haskell development tools
My website content and configuration for Hakyll
Mouseover Tooltip plugin for Atom
Atom package displaying types on hover using hdevtools
Atom hover-tooltips plugin for liquidhaskell
An inductive form set constraint solver in Haskell
An implementation of C++ name mangling for the Itanium ABI
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.