sgraf812 Goto Github PK
Name: Sebastian Graf
Type: User
Location: Karlsruhe, Germany
Sebastian Graf's Projects
lattices
Fine-grained lattice primitives for Haskell
ldc
The LLVM D compiler.
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
lightsonplus
fork from lightsOn
listbuilder
O(1) concatenation, but simpler than difference lists
logging
lorri
Your project's nix-env
lowgl
Vastly simplified wrapper around a vast subset of gl
manifesto
Meta-repository for organizational stuff
masters-thesis
My master's thesis
material-shell
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.
mathlib4
Work in progress mathlib port for lean 4
mavenix
Maven to nix
microlens
A lightweight (but compatible with ‘lens’) lenses library.
monadicit
Realizing a simple message transmission system simulation utilizing monads
mopidy-nix
Nix options to use Mopidy
mub
munch
Type-checking as a compilation stage
musl
musl libc experiment
mutvar-vs-state
Some microbenchmarks playing out strict `State` against primivite `MutVar`s
nixos
OBSOLETE (go to NixOS/nixpkgs) - NixOS, a Linux distribution based on the Nix package manager - OBSOLETE (go to NixOS/nixpkgs)
nixpkgs
Nix Packages collection
nofib
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
nominal-unification
Toy implementation of the ideas in https://easychair.org/publications/preprint/DLVk
pbqp-papa
Solver and analysing tool for Partitioned Boolean Quadratic Problems
pengwin
A Linux distro optimized for WSL based on Debian.
peparser-haskell
A Portable Executable (Microsoft Binary Executable file) header parser in Haskell.
phobos
The standard library of the D programming language
pmcheck
LaTeX Source code for our ICFP'20 paper "Lower Your Guards: A Compositional Pattern-Match Coverage Checker"
poly2tri
Automatically exported from code.google.com/p/poly2tri
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.