Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by sgraf812
A curated list of projects in awesome lists by sgraf812 .
https://github.com/sgraf812/bananampq
Extracting WoW's geometry data reliably
Last synced: 12 Oct 2024
https://github.com/sgraf812/crystalmpq
CrystalMpq is a MPQ reading library written in C#
Last synced: 18 Nov 2024
https://github.com/sgraf812/elm-graph
This repository moved to https://github.com/elm-community/graph
Last synced: 12 Oct 2024
https://github.com/sgraf812/datafix
Fixing data-flow problems in expression trees
compiler-optimization data-flow-analysis haskell
Last synced: 12 Oct 2024
https://github.com/sgraf812/push
Lua library implementing knockout.js-like observable properties.
Last synced: 12 Oct 2024
https://github.com/sgraf812/data-elevator
Coerce between unlifted boxed and lifted types
Last synced: 12 Oct 2024
https://github.com/sgraf812/feed-gipeda
Daemon for watching for new commits to multiple git repositories and feeding benchmark runs into gipeda
Last synced: 12 Oct 2024
https://github.com/sgraf812/bananapattern
Library for matching byte patterns and an offset providing xml parsing tree
Last synced: 18 Nov 2024
https://github.com/sgraf812/.cfg
Managing my (NixOS/Ubuntu+nix+home-manager based) configurations
Last synced: 12 Oct 2024
https://github.com/sgraf812/pomaps
Haskell data structure for maps and sets with partially ordered keys
Last synced: 12 Oct 2024
https://github.com/sgraf812/late-lam-lift
Paper about selective lambda lifting
Last synced: 18 Nov 2024
https://github.com/sgraf812/elm-intdict
This repository moved to https://github.com/elm-community/intdict
Last synced: 18 Nov 2024
https://github.com/sgraf812/sdft
Implementation of the sliding window DFT http://www.comm.toronto.edu/~dimitris/ece431/slidingdft.pdf
Last synced: 18 Nov 2024
https://github.com/sgraf812/cloben
Clone and benchmark Haskell git repositories for gipeda
Last synced: 12 Oct 2024
https://github.com/sgraf812/ghc-benchmark
Benchmarking harness for GHC diffs
Last synced: 18 Nov 2024
https://github.com/sgraf812/sll19
Slides for my talk about selective lambda lifting
Last synced: 18 Nov 2024
https://github.com/sgraf812/ghc-containers-conflict
Cabal-installs solver refuses to solve this for GHC 8.0.2 but using stack lts-9 (also GHC 8.0.2) works
Last synced: 18 Nov 2024
https://github.com/sgraf812/ghc-dlas
GHC 8 tarballs with disabled large address space
Last synced: 18 Nov 2024
https://github.com/sgraf812/pmcheck
LaTeX Source code for our ICFP'20 paper "Lower Your Guards: A Compositional Pattern-Match Coverage Checker"
compilers pattern-matching static-analysis
Last synced: 18 Nov 2024
https://github.com/sgraf812/benchmark-loop
Non-terminating criterion benchmark for testing purposes
Last synced: 18 Nov 2024
https://github.com/sgraf812/fndiff
Finding locations of fingerprinted functions in a new version of a binary.
Last synced: 18 Nov 2024
https://github.com/sgraf812/bench-mode
Isolating processes for less variance in benchmark runs
Last synced: 18 Nov 2024
https://github.com/sgraf812/docker-hakyll
A docker image for building and deploying hakyll sites that works for me
Last synced: 18 Nov 2024
https://github.com/sgraf812/benchmark-test-submodule
Nothing interesting to see here, just for testing/CI purposes
Last synced: 18 Nov 2024
https://github.com/sgraf812/wslpath
Path conversion utility in the style of `cygpath` that mounts all drive letters under `/mnt/c`.
Last synced: 18 Nov 2024
https://github.com/sgraf812/wowstartupsequence
Solver for the Startup Sequence puzzle https://youtu.be/zSuYqwpPkK4
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri.as3
Automatically exported from code.google.com/p/poly2tri.as3
Last synced: 18 Nov 2024
https://github.com/sgraf812/while-bison
A while dialect interpreter where lexer and parser are generated by `flex`/`bison` in C
Last synced: 18 Nov 2024
https://github.com/sgraf812/listbuilder
O(1) concatenation, but simpler than difference lists
Last synced: 18 Nov 2024
https://github.com/sgraf812/ckp-reduction
Inapproximability reduction from https://arxiv.org/pdf/1205.2285v2.pdf
Last synced: 18 Nov 2024
https://github.com/sgraf812/hiw17
Slides for my HIW presentation at ICFP '17
Last synced: 18 Nov 2024
https://github.com/sgraf812/ghc-package-path
Reproduction for https://stackoverflow.com/questions/46505007/access-ghc-package-database-in-test-and-benchmark-suite
Last synced: 18 Nov 2024
https://github.com/sgraf812/dmdanal
WIP formalisation of (parts of) Demand Analysis
Last synced: 18 Nov 2024
https://github.com/sgraf812/comp-trace
A paper about Cousot-style Compositional Trace Semantics for call-by-need lambda calculus; rejected from POPL and superseded by https://github.com/sgraf812/abs-den
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri.golang
Automatically exported from code.google.com/p/poly2tri.golang
Last synced: 18 Nov 2024
https://github.com/sgraf812/amt
Experimental array-mapped trie as a contender for Haskell's Data.IntMap
Last synced: 18 Nov 2024
https://github.com/sgraf812/wichteln
Script for shuffling Secret Santa permutations with a few constraints
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri.javascript
Automatically exported from code.google.com/p/poly2tri.javascript
Last synced: 18 Nov 2024
https://github.com/sgraf812/mutvar-vs-state
Some microbenchmarks playing out strict `State` against primivite `MutVar`s
Last synced: 18 Nov 2024
https://github.com/sgraf812/purescript-lovefield
An opinionated PureScript binding to Lovefield
Last synced: 18 Nov 2024
https://github.com/sgraf812/elm-access
Generalized setters and getters - Lenses lite for Elm.
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri.python
Automatically exported from code.google.com/p/poly2tri.python
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri.cs
Automatically exported from code.google.com/p/poly2tri.cs
Last synced: 18 Nov 2024
https://github.com/sgraf812/hslua-contrib
An attempt at higher-level lua bindings
Last synced: 18 Nov 2024
https://github.com/sgraf812/desmume
Appropriately maintained repo of DeSmuME on GitHub, because a quick google search didn't turn up what I want. You'll get unmodified versions in vX.Y-vanilla branches. Feel free to fork!
Last synced: 18 Nov 2024
https://github.com/sgraf812/dailyprover
Solutions to some /r/dailyprover problems
Last synced: 18 Nov 2024
https://github.com/sgraf812/benchmark-test
A simple Haskell benchmarking project including a submodule for CI purposes
Last synced: 18 Nov 2024
https://github.com/sgraf812/derelictudis86
A dynamic binding to http://udis86.sourceforge.net/ for the D Programming Language.
Last synced: 18 Nov 2024
https://github.com/sgraf812/.feed-gipeda
Config file repository for feed-gipeda
Last synced: 18 Nov 2024
https://github.com/sgraf812/feed-gipeda-test
Repository with a single commit for the feed-gipeda test suite
Last synced: 18 Nov 2024
https://github.com/sgraf812/distributed-process-p2p
Fork of https://bitbucket.org/dpwiz/distributed-process-p2p without say messages
Last synced: 18 Nov 2024
https://github.com/sgraf812/abs-den-del-cont
Denotational Interpreter using delimited continuations
Last synced: 04 Jan 2025
https://github.com/sgraf812/poly2tri.java
Automatically exported from code.google.com/p/poly2tri.java
Last synced: 18 Nov 2024
https://github.com/sgraf812/haskell-bench-slave
Dockerfile for a benchmark slave kept busy by feed-gipeda
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri.archive
Automatically exported from code.google.com/p/poly2tri.archive
Last synced: 18 Nov 2024
https://github.com/sgraf812/nominal-unification
Toy implementation of the ideas in https://easychair.org/publications/preprint/DLVk
Last synced: 18 Nov 2024
https://github.com/sgraf812/monadicit
Realizing a simple message transmission system simulation utilizing monads
Last synced: 18 Nov 2024
https://github.com/sgraf812/compgeom15
Collaborational project as part of our computational geometry course http://i11www.iti.uni-karlsruhe.de/teaching/winter2015/compgeom/index
Last synced: 18 Nov 2024
https://github.com/sgraf812/elm-stateful
Library for conveniently working with stateful computations
Last synced: 18 Nov 2024
https://github.com/sgraf812/poly2tri
Automatically exported from code.google.com/p/poly2tri
Last synced: 18 Nov 2024