2-day longest streak
-
notes ★ PINNED
Hacking on various things
Haskell ★ 3 5y agoExplain → -
ghc-eventlog
No description.
Rust ★ 3 2y agoExplain → -
vscode-direnv ⑂
Automatically detect and load your .envrc
TypeScript ★ 2 6y agoExplain → -
sneaky-snake
The Snake game with PyGame
Python ★ 2 17y agoExplain → -
riscv-emu
No description.
Rust ★ 1 3y agoExplain → -
gnome-shell-simple-window-search-provider
No description.
TypeScript ★ 1 3y agoExplain → -
ghc-shared-library
No description.
C ★ 1 5y agoExplain → -
fpga
No description.
Nix ★ 1 5y agoExplain → -
rl-glue-java-codec
A svn to git conversion of the RL-Glue Java codec
Java ★ 1 12y agoExplain → -
ghc ⑂
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. 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])
Haskell ★ 1 7y agoExplain → -
BounceDownloadStack
Bounce any stack in the OS X Dock.
Objective-C ★ 1 11y agoExplain → -
popupstatusbar.safariextension
Popup Statusbar Extension for Safari 5
JavaScript ★ 1 16y agoExplain → -
clicktoflash ⑂
WebKit plug-in to prevent automatic loading of Adobe Flash content
Objective-C ★ 1 17y agoExplain → -
alt-tab-macos ⑂
Windows alt-tab on macOS
★ 0 1mo agoExplain → -
language-haskell ⑂
Highlighting support for the Haskell language in visual studio code.
★ 0 6y agoExplain → -
grab-site ⑂
The archivist's web crawler: WARC output, dashboard for all crawls, dynamic ignore patterns
HTML ★ 0 4mo agoExplain → -
tracing-chrome ⑂
A library for generating chrome://tracing traces in Rust.
★ 0 2y agoExplain → -
jj ⑂
A Git-compatible VCS that is both simple and powerful
★ 0 8mo agoExplain → -
Mastodon.py ⑂
Python wrapper for the Mastodon ( https://github.com/mastodon/mastodon/ ) API.
Python ★ 0 1y agoExplain → -
backup2
zfs backup script
Shell ★ 0 1y agoExplain → -
HsOpenSSL ⑂
OpenSSL binding for Haskell
Haskell ★ 0 4y agoExplain → -
aoc
advent of code
Rust ★ 0 1y agoExplain → -
vimrc
No description.
Vim Script ★ 0 1y agoExplain → -
amaranth-boards ⑂
Board definitions for Amaranth HDL
Python ★ 0 2y agoExplain → -
ble-stuff
No description.
Python ★ 0 2y agoExplain → -
bpftrace ⑂
High-level tracing language for Linux eBPF
★ 0 6y agoExplain → -
bleak ⑂
A cross platform Bluetooth Low Energy Client for Python using asyncio
★ 0 2y agoExplain → -
perf_data_converter ⑂
Tool to convert Linux perf files to the profile.proto format used by pprof
C++ ★ 0 2y agoExplain → -
c
No description.
Rust ★ 0 2y agoExplain → -
buck2 ⑂
Build system, successor to Buck
★ 0 2y agoExplain → -
cbor11 ⑂
CBOR implementation in C++11
C++ ★ 0 12y agoExplain → -
compiler-explorer ⑂
Run compilers interactively from your web browser and interact with the assembly
JavaScript ★ 0 4y agoExplain → -
dynamic_flag ⑂
A C library for runtime-flippable feature flags on Linux/x86-64, with negligible overhead in the common case
★ 0 3y agoExplain → -
utf8-validation-experiment
No description.
C ★ 0 3y agoExplain → -
bits
reading and manipulating bits and maybe more?
Rust ★ 0 3y agoExplain → -
rust-analyzer ⑂
A Rust compiler front-end for IDEs
Rust ★ 0 3y agoExplain → -
patchelf ⑂
A small utility to modify the dynamic linker and RPATH of ELF executables
C ★ 0 3y agoExplain → -
emacs.d ⑂
emacs
Emacs Lisp ★ 0 9y agoExplain → -
adamse.github.io
Personal webpage
HTML ★ 0 3y agoExplain → -
pid
No description.
Haskell ★ 0 4y agoExplain → -
nomad-driver-plugin-experiment
No description.
Go ★ 0 3y agoExplain → -
ghc-prof-flamegraph ⑂
No description.
Haskell ★ 0 3y agoExplain → -
FlameGraph ⑂
Stack trace visualizer
Perl ★ 0 3y agoExplain → -
alacritty ⑂
A cross-platform, OpenGL terminal emulator.
Rust ★ 0 2y agoExplain → -
ghc-foreign-export
what happens when we call a foreign export
Shell ★ 0 4y agoExplain → -
irc-logs-analysis
No description.
Jupyter Notebook ★ 0 4y agoExplain → -
mynix
No description.
Nix ★ 0 4y agoExplain → -
debug
No description.
Rust ★ 0 3y agoExplain → -
rust ⑂
Empowering everyone to build reliable and efficient software.
Rust ★ 0 1y agoExplain → -
binary-analysis
No description.
Rust ★ 0 4y agoExplain → -
dynlibs-symbol-confusion
No description.
Shell ★ 0 4y agoExplain → -
eventlog2html ⑂
Visualise eventlog events as a static webpage
Haskell ★ 0 4y agoExplain → -
cabal ⑂
Official upstream development repository for Cabal and cabal-install
Haskell ★ 0 4y agoExplain → -
shake ⑂
Shake build system
Haskell ★ 0 4y agoExplain → -
ghc-events ⑂
Library and tool for parsing .eventlog files from GHC
★ 0 4y agoExplain → -
hls ⑂
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell ★ 0 1y agoExplain → -
th-pq-segfault ⑂
No description.
Haskell ★ 0 4y agoExplain → -
win32 ⑂
Public mirror for win32-pr
★ 0 3y agoExplain → -
xeno ⑂
Fast Haskell XML parser
★ 0 4y agoExplain → -
cachetable
Hash table for caches
Haskell ★ 0 4y agoExplain → -
dynload-poc
No description.
C ★ 0 4y agoExplain → -
hie-datalog
Extracting information from GHC's exteneded interface files and analysing the results with Souffle datalog.
Haskell ★ 0 5y agoExplain → -
cabal-configure-question
No description.
Haskell ★ 0 5y agoExplain → -
RayTracingInOneWeekend
No description.
Rust ★ 0 5y agoExplain → -
digilent-xdc ⑂
A collection of Master XDC files for Digilent FPGA and Zynq boards.
★ 0 5y agoExplain → -
ghc.nix ⑂
Nix (shell) expression for working on GHC
Nix ★ 0 5y agoExplain → -
serenity ⑂
The Serenity Operating System 🐞
C++ ★ 0 5y agoExplain → -
mobileconf
No description.
Rust ★ 0 5y agoExplain → -
nixos-search ⑂
Search NixOS packages and options
Elm ★ 0 5y agoExplain → -
sqlite-simple ⑂
Mid-level bindings for sqlite
Haskell ★ 0 5y agoExplain → -
ghcide ⑂
A library for building Haskell IDE tooling
★ 0 5y agoExplain → -
hindent ⑂
Extensible Haskell pretty printer
Haskell ★ 0 8y agoExplain → -
stump-optimal-beta-vs-ghc
No description.
Haskell ★ 0 6y agoExplain → -
direct-sqlite ⑂
No description.
★ 0 6y agoExplain → -
ad ⑂
Automatic Differentiation
Haskell ★ 0 6y agoExplain → -
nix-magit ⑂
Nix expression for running Emacs Magit without installing it on your system
Nix ★ 0 6y agoExplain → -
ghc-proposals ⑂
Proposed compiler and language changes for GHC and GHC/Haskell
★ 0 6y agoExplain → -
schemas ⑂
A library for schema-guided serialization of Haskell datatypes
★ 0 6y agoExplain → -
bcc ⑂
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
★ 0 6y agoExplain → -
Vim ⑂
:star: Vim for Visual Studio Code
★ 0 6y agoExplain → -
irc
No description.
Haskell ★ 0 6y agoExplain → -
stylish-haskell-vscode ⑂
stylish-haskell support for VS code
TypeScript ★ 0 6y agoExplain → -
summer-of-haskell ⑂
Source code of summer.haskell.org
★ 0 6y agoExplain → -
nixpkgs ⑂
Nix Packages collection
★ 0 6y agoExplain → -
weeder ⑂
A re-implementation of weeder using HIE files
★ 0 6y agoExplain → -
x86-psABI ⑂
x86 psABI download
★ 0 7y agoExplain → -
relude ⑂
🌀 Relude: Reload your Prelude
★ 0 6y agoExplain → -
doodles
No description.
Haskell ★ 0 6y agoExplain → -
nix-pills ⑂
No description.
★ 0 6y agoExplain → -
nix ⑂
Nix, the purely functional package manager
★ 0 6y agoExplain → -
nixos-hardware ⑂
A collection of NixOS modules covering hardware quirks.
★ 0 6y agoExplain → -
gc-benchmarks ⑂
Benchmarks using the non-moving incremental GHC garbage collector
Nix ★ 0 7y agoExplain → -
haskell-ide-engine ⑂
The engine for haskell ide-integration. Not an IDE
Haskell ★ 0 7y agoExplain → -
prospect ⑂
:pick: static analysis of free monads
Haskell ★ 0 7y agoExplain → -
hoogle ⑂
Haskell API search engine
Haskell ★ 0 7y agoExplain → -
dhall-haskell ⑂
A configuration language guaranteed to terminate
Haskell ★ 0 7y agoExplain → -
aoc18
Advent of Code 2018
Racket ★ 0 7y agoExplain → -
generics-sop ⑂
Generic Programming using True Sums of Products
Haskell ★ 0 7y agoExplain → -
succinct-binary ⑂
Succinct binary serialization
Haskell ★ 0 8y agoExplain → -
process ⑂
Library for dealing with system processes
Haskell ★ 0 8y agoExplain → -
hackage-server ⑂
Hackage-Server: A Haskell Package Repository
Haskell ★ 0 8y agoExplain → -
oldskylt ⑂
No description.
C++ ★ 0 13y agoExplain → -
skyltlib ⑂
No description.
C ★ 0 13y agoExplain → -
m_talktalk
Inspircd module to bridge users from other chat systems
C++ ★ 0 8y agoExplain → -
inspircd ⑂
A modular C++ IRC daemon (ircd).
C++ ★ 0 8y agoExplain → -
Expresso ⑂
A simple expressions language with polymorphic extensible row types
Haskell ★ 0 8y agoExplain → -
language
a language
Haskell ★ 0 8y agoExplain → -
advent_of_code_2017 ⑂
Contribute your solutions to Advent of Code 2017 and be inspired by others.
Haskell ★ 0 8y agoExplain → -
freebsd
Freebsd related files
Shell ★ 0 9y agoExplain → -
wai-middleware-static-embedded
Serve static files embedded in your executable as a wai middleware.
Haskell ★ 0 9y agoExplain → -
dotfiles
Essential files
Shell ★ 0 9y agoExplain → -
docs ⑂
Linode guides and tutorials.
★ 0 9y agoExplain → -
ghc-dev-mode
Minor mode for GHC development in Emacs
Emacs Lisp ★ 0 9y agoExplain → -
haskell-mode ⑂
Emacs mode for Haskell
Emacs Lisp ★ 0 9y agoExplain → -
haskell-src-exts ⑂
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
Haskell ★ 0 9y agoExplain → -
sandbergericsson-se
No description.
Haskell ★ 0 9y agoExplain → -
unamb ⑂
Unambiguous choice
Haskell ★ 0 12y agoExplain → -
HelloBot ⑂
A bot for welcoming people to the #dtek channel in Data's IRC server.
Haskell ★ 0 10y agoExplain → -
skeleton ⑂
Skeletons files for research papers
TeX ★ 0 10y agoExplain → -
ireal ⑂
Haskell library for exact real arithmetic
Haskell ★ 0 10y agoExplain → -
read-later-safari
Pinboard read later toolbar button for Safari
JavaScript ★ 0 10y agoExplain → -
agda ⑂
Agda is a dependently typed programming language / interactive theorem prover.
Haskell ★ 0 10y agoExplain → -
quickcheck ⑂
Automatic testing of Haskell programs.
Haskell ★ 0 10y agoExplain → -
AFPcourse ⑂
http://www.cse.chalmers.se/edu/course/afp/
Haskell ★ 0 11y agoExplain → -
phab-ghc-builder ⑂
Harbormaster endpoint for GHC builds
Shell ★ 0 11y agoExplain → -
haddock ⑂
Haskell Documentation Tool
Haskell ★ 0 11y agoExplain → -
TDA351
No description.
Haskell ★ 0 12y agoExplain → -
pfp15
No description.
Erlang ★ 0 11y agoExplain → -
shrdlite-course-project ⑂
AI course project template, inspired by Terry Winograd's classic Shrdlu system
TypeScript ★ 0 11y agoExplain → -
Idris-dev ⑂
A Dependently Typed Functional Programming Language
Haskell ★ 0 11y agoExplain → -
extensible-effects ⑂
Extensible Effects: An Alternative to Monad Transformers
Haskell ★ 0 11y agoExplain → -
cabal-install-bin ⑂
Install binary packages in a temporary Cabal sandbox
Shell ★ 0 11y agoExplain → -
assignment-template
A template for writing assignments using LaTeX and Markdown with Pandoc
TeX ★ 0 11y agoExplain → -
mmc2
Hackathon: Monkey music challange 2
Haskell ★ 0 11y agoExplain → -
lucid ⑂
Clear to write, read and edit DSL for writing HTML
Haskell ★ 0 11y agoExplain → -
gitit ⑂
A wiki using HAppS, pandoc, and git
★ 0 10y agoExplain → -
vector ⑂
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Haskell ★ 0 11y agoExplain → -
shorten-strings ⑂
A unified interface for shorten-ellipsis'ing string-like types
Haskell ★ 0 11y agoExplain → -
yesod-auth-kerberos ⑂
Kerberos support for Yesod Auth
Haskell ★ 0 11y agoExplain → -
algorithms-course
Useful stuff for Chalmers algorithms course
TeX ★ 0 11y agoExplain → -
hl ⑂
Haskell web site
JavaScript ★ 0 11y agoExplain → -
nd-predicatelogic
Natural deduction for predicate logic
TeX ★ 0 11y agoExplain → -
dotvim
No description.
VimL ★ 0 11y agoExplain → -
pinboard ⑂
Google Chrome toolbar button extension for "pinboard" bookmarks
JavaScript ★ 0 12y agoExplain → -
sierpinski
Making sierpinski triangles using the Diagrams library
Haskell ★ 0 12y agoExplain → -
spotify-monkeys
A monkey controller written for Spotify Monkey Music Challenge
★ 0 13y agoExplain → -
bnfc ⑂
BNF Converter
TeX ★ 0 12y agoExplain → -
bachelor-report
Bachelor thesis in Computer Science
TeX ★ 0 12y agoExplain → -
dbn-e3
No description.
Java ★ 0 12y agoExplain → -
cid-to-name
No description.
Haskell ★ 0 12y agoExplain → -
jaspervdj ⑂
Source code of my personal home page.
Haskell ★ 0 12y agoExplain → -
wowhack2
wowhack2
Python ★ 0 13y agoExplain → -
abandoned-moose ⑂
This repository contains the server for the DataMayHack 2013
Python ★ 0 13y agoExplain → -
DtekPortalen ⑂
A local website for students at Chalmers University of Technology
Haskell ★ 0 13y agoExplain →
No repos match these filters.