bollu Goto Github PK

exploration

Logs of code spelunking and experiments I perform

fcd

An optimizing decompiler

feofu

Features of the Future

flake-compat

flexx

Python UI tookit based on web technology

flrc

Haskell Research Compiler

fold

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

fpga-playground

Code written using BlueSpec Verilog, general FPGA messing around for my course

fractions

lazy continued fractions

freejit

Try to JIT Free monads in Haskell.

functionalconf-2019-slides-probabilistic-programming

Slides for my talk at functional conf 2019 on probabilistic programming

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

gcc-fortran-frontend-polly

GCC fortran frontend (gfortran) edited to export information to Polly

gde-game

Game on using text generation to trigger empathy

geometric-algebra

Implementation of geometric algebra primitives

geometry-processing-js

A fast, general-purpose framework for geometry processing on the web.

ghc

Mirror of the Glasgow Haskell Compiler. 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]). First time contributors are encouraged to get started by just sending a Pull Request.

ghc-asterius

For of terrorjack/GHC to hack on austerius

ghc-grin

GRIN backend for GHC

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

ghc-wpc-mlir

GHC-WPC bridge to generate MLIR as encoded by lz: https://github.com/bollu/lz

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

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.

gpt-2

Code for the paper "Language Models are Unsupervised Multitask Learners"

gr-semantics

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

grin

GRIN is a compiler back-end for lazy functional languages with whole program optimisation support

gsoc

Scripts related to managing Google Summer of Code for the Python Software Foundation

guanxi

Playing around with minikanrenish thoughts

gutenberger

fast vectorized presburger automata