Giters
Siddharth (bollu)

bollu

Geek Repo

700

followers

125

following

630

stars

Company:University of Cambridge

Location:Cambridge

Home Page:pixel-druid.com

Github PK Tool:Github PK Tool

Organizations
coq
fpindia
iiittheorygroup
sagemath

Siddharth's repositories

coremlir

Encoding of GHC Core inside MLIR

Language:HaskellLicense:NOASSERTIONStargazers:17Issues:5Issues:0

mlir-hs

Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell

Language:HaskellLicense:MITStargazers:16Issues:4Issues:0

TaleOfTwoDialects

nontrivial lowering examples for MLIR that are ignored by the MLIR tutorials

Language:C++Stargazers:5Issues:2Issues:0

slides-haskell-exchange-2020-smallpt

Slides for haskell exchange 2020 talk on smallpt

Language:TeXStargazers:3Issues:0Issues:0

smallpt-opt

Optimizing Smallpt: Haskell Exchange reference data

Language:PythonLicense:NOASSERTIONStargazers:2Issues:5Issues:0

dgclj

A riff on "functional differential geometry" in clojure

Language:ClojureStargazers:1Issues:0Issues:0

FeOFu

Features of the Future

Language:IdrisStargazers:1Issues:1Issues:0

fold

FOLD file format for origami models, crease patterns, etc.

Language:CoffeeScriptLicense:MITStargazers:1Issues:2Issues:0

haikus

detect haikus

Language:PythonLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

musquared

Demand-agnostic managed language compiler using MLIR

Language:HaskellStargazers:1Issues:0Issues:0

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

Language:HTMLLicense:Apache-2.0Stargazers:1Issues:2Issues:0

smallpths

Smallpt rewrite that's fast!

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

unification

polymorphic type inference with unification from the Dragon book

Language:C++Stargazers:1Issues:3Issues:0

algebraic-topology-2020

source for course web page

License:MITStargazers:0Issues:0Issues:0

dwitter

Social network for short js demos

License:Apache-2.0Stargazers:0Issues:0Issues:0

google-10000-english

This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.

License:NOASSERTIONStargazers:0Issues:1Issues:0

gr-semantics

semantic domain of general relativity using 'Domain Theory and general relativity'

Language:HaskellStargazers:0Issues:3Issues:0

lizzy

a frontend for a small lazy language with rust-inspired syntax

Language:C++Stargazers:0Issues:2Issues:0

Math

math for origami. linear algebra, geometry, 2D and 3D, good interoperability with SVG

Language:JavaScriptStargazers:0Issues:2Issues:0

Origami

computational origami

Language:JavaScriptStargazers:0Issues:1Issues:0

oripa

ORIPA is a drawing software dedicated to designing the crease patterns of origami. The unique feature of ORIPA is calculation of the folded shape from the pattern.

Language:JavaStargazers:0Issues:1Issues:0

paper-template

A template for writing CS papers with latex -- includes CI, todonotes, ...

Language:TeXStargazers:0Issues:1Issues:0

picom

A lightweight compositor for X11

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

Propulse

A crossplatform ProTracker clone with an Impulse Tracker-style interface

License:LGPL-3.0Stargazers:0Issues:0Issues:0

pyzx

Python library for quantum circuit rewriting and optimisation using the ZX-calculus

Language:OpenQASMLicense:Apache-2.0Stargazers:0Issues:2Issues:0

qtt

Quantitative Type Theory implementation

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

sixten

Functional programming with fewer indirections

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

USACO

General Resources for Competitive Programming

Language:C++License:CC0-1.0Stargazers:0Issues:1Issues:0

vim-sneak

The missing motion for Vim :athletic_shoe:

Language:Vim ScriptLicense:MITStargazers:0Issues:1Issues:0

WaveSabre

Official WaveSabre repository

License:MITStargazers:0Issues:0Issues:0