Giters
Sundara Vishnu (svishnus)

svishnus

Geek Repo

15

followers

81

following

159

stars

Location:Ann Arbor, MI

Home Page:FIXME

Twitter:@sundara_vishnu

Github PK Tool:Github PK Tool

Sundara Vishnu's starred repositories

hugo

The world’s fastest framework for building websites.

Language:GoLicense:Apache-2.0Stargazers:74100Issues:1069Issues:7276

daisyui

🌼 🌼 🌼 🌼 🌼  The most popular, free and open-source Tailwind CSS component library

Language:SvelteLicense:MITStargazers:32594Issues:161Issues:1560

BetterDisplay

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

Stargazers:18014Issues:63Issues:1934

plt

Programming Language Theory λΠ

Language:CSSStargazers:5190Issues:276Issues:23

mastering-zsh

Advanced topics to take advantage of zsh 👩‍💻👨‍💻

Stargazers:1284Issues:27Issues:4

hypermerge

Build p2p collaborative applications without any server infrastructure in Node.js

Language:TypeScriptLicense:MITStargazers:1279Issues:34Issues:31

dslabs

Distributed Systems Labs and Framework

Language:JavaStargazers:1183Issues:30Issues:30

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlLicense:NOASSERTIONStargazers:944Issues:39Issues:666

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLLicense:NOASSERTIONStargazers:936Issues:46Issues:468

combobulate

Structured Editing and Navigation in Emacs with Tree-Sitter

Language:Emacs LispLicense:GPL-3.0Stargazers:871Issues:27Issues:88

patterns

This is an experimental library that has evolved to P1371, proposed for C++23.

Language:C++License:BSL-1.0Stargazers:659Issues:29Issues:8

pushpin

A collaborative corkboard app

Language:TypeScriptLicense:BSD-3-ClauseStargazers:631Issues:26Issues:81

papers

ISO/IEC JTC1 SC22 WG21 paper scheduling and management

Language:PerlStargazers:623Issues:129Issues:1996

fzf-git.sh

bash and zsh key bindings for Git objects, powered by fzf

Language:ShellStargazers:540Issues:12Issues:26

learn-ocaml

A Web Application for Learning OCaml

Language:JavaScriptLicense:MITStargazers:299Issues:16Issues:251

eecs598

Advanced Topics on Systems for X

Stargazers:258Issues:19Issues:0

eecs489

EECS 489: Computer Networks @ the University of Michigan

Language:C++Stargazers:232Issues:46Issues:0

PLGradSchools

Stargazers:217Issues:13Issues:0

ocamlearlybird

OCaml debug adapter

Language:OCamlLicense:MITStargazers:206Issues:8Issues:51

lg-tv-control-macos

Automatically wake/sleep and change the input of your LG TV when used as a monitor on macOS

Language:LuaStargazers:129Issues:8Issues:47

umich-eecs445-f16

Materials for EECS 445, an undergraduate Machine Learning course taught at the University of Michigan, Ann Arbor.

Language:Jupyter NotebookLicense:MITStargazers:93Issues:31Issues:0

ppx_minidebug

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.

Language:OCamlLicense:LGPL-2.1Stargazers:26Issues:2Issues:52

hazelnut-dynamics-agda

mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics

Language:AgdaLicense:MITStargazers:20Issues:7Issues:55

verification-class

Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos

Language:DafnyLicense:MITStargazers:10Issues:8Issues:0

automerge-repo-quickstart

Language:TypeScriptStargazers:9Issues:5Issues:2

nool

nool is nool

Language:TypeScriptStargazers:9Issues:4Issues:0

Stegi

Language:RustStargazers:3Issues:2Issues:0

mutils

Basic C++ template utilities I've written and come to rely on.

Language:C++License:LGPL-3.0Stargazers:3Issues:3Issues:0

grove-paper

Language:TeXStargazers:1Issues:0Issues:0

EcoCuisine

Template with astro, tailwind and alpinejs

Language:AstroLicense:GPL-3.0Stargazers:1Issues:0Issues:0