JustusAdam/mustache

Haskell implementation of mustache templates

Language: Haskell - Size: 247 KB - Last synced: 17 days ago - Pushed: 10 months ago - Stars: 100 - Forks: 31

JustusAdam/language-haskell

Highlighting support for the Haskell language in visual studio code.

Language: Haskell - Size: 1.59 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 95 - Forks: 48

JustusAdam/python-typesafety

A decorator for python functions that does type checking.

Language: Python - Size: 164 KB - Last synced: 3 months ago - Pushed: almost 9 years ago - Stars: 2 - Forks: 1

JustusAdam/kani Fork of model-checking/kani

Kani Rust Verifier

Language: Rust - Size: 41.3 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

JustusAdam/toml Fork of toml-rs/toml

Rust TOML Parser

Size: 2.52 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

JustusAdam/kani-verifier-blog Fork of model-checking/kani-verifier-blog

Language: Gnuplot - Size: 7.96 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

JustusAdam/allocative Fork of facebookexperimental/allocative

Library and proc macro to analyze memory usage of data structures in rust.

Language: Rust - Size: 699 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

JustusAdam/firecracker Fork of firecracker-microvm/firecracker

Secure and fast microVMs for serverless computing.

Language: Rust - Size: 24.7 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

JustusAdam/rustc_plugin Fork of cognitive-engineering-lab/rustc_plugin

A framework for writing plugins that integrate with the Rust compiler

Language: Rust - Size: 144 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

JustusAdam/make-visitor

A proc macro to create a visitor from type definitions

Language: Rust - Size: 12.7 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

JustusAdam/gen-pw-rs

A simple generator for strong passwords that supports using dictionary sampling

Language: Rust - Size: 8.79 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

JustusAdam/lobsters Fork of lobsters/lobsters

Computing-focused community centered around link aggregation and discussion

Size: 5.25 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

JustusAdam/haskell-unicode-snippets

Atom plugin which provides snippets for Haskell unicode operators

Language: CoffeeScript - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 2 - Forks: 1

JustusAdam/monadic-printer

Print and write text with do-notation

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

JustusAdam/betablogger

Configurable app that does things with static files

Language: Elm - Size: 299 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 5 - Forks: 0

JustusAdam/ohua-blog

Reimplementing the Haxl blog example with ohua

Language: Clojure - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

JustusAdam/elm-monad

Useful Monads in Elm

Language: Elm - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 9 - Forks: 0

JustusAdam/dictcc

Access dict.cc from the command line.

Language: Haskell - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 2 - Forks: 0

JustusAdam/justusadam.github.io

Sources for my website

Language: JavaScript - Size: 265 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 6

JustusAdam/textblocks

Implementation of TextBlocks for the SWP

Language: Java - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

JustusAdam/haxl-local-test

A small project testing the capabilities of the Haxl library

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

JustusAdam/ja-base-extra

Extra Haskell functions I need in base.

Language: Haskell - Size: 171 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

JustusAdam/online-orders

Online order tracker

Size: 839 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

JustusAdam/oed

The oxford english dictionary from the command line.

Size: 117 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

JustusAdam/package-bug

Reproduction of a bug in the elm runtime.

Language: Elm - Size: 117 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

JustusAdam/elm-reactor-index

A new Index page for the elm-reactor

Language: Elm - Size: 1.39 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 3 - Forks: 1

JustusAdam/hrename

bulk rename files

Language: Haskell - Size: 141 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0

JustusAdam/blackjack

A little blackjack game written in C

Language: C - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

JustusAdam/binserve Fork of mufeedvh/binserve

A fast production-ready static web server with TLS (HTTPS), routing, hot reloading, caching, templating, and security in a single-binary you can set up with zero code. :zap:

Size: 3.58 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

JustusAdam/dot-rust Fork of przygienda/dot-rust

A library for generating Graphviz DOT language files for graphs.

Language: Rust - Size: 40 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

JustusAdam/rust Fork of rust-lang/rust

Empowering everyone to build reliable and efficient software.

Size: 891 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

JustusAdam/beavered-websubmit Fork of ms705/websubmit-rs

Class submission syste, protected with type based, static IFC

Language: Rust - Size: 339 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

JustusAdam/beaver-rust Fork of sreshtaaa/beaver-rust

Language: Rust - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

JustusAdam/MIRAI Fork of facebookexperimental/MIRAI

Rust mid-level IR Abstract Interpreter

Language: Rust - Size: 163 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

JustusAdam/marvin

The paranoid bot (framework)

Language: Haskell - Size: 522 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 54 - Forks: 6

JustusAdam/elm-init

Initialise scaffolding for a new Elm project

Language: Haskell - Size: 59.6 KB - Last synced: 25 days ago - Pushed: over 7 years ago - Stars: 11 - Forks: 0

JustusAdam/run-rust

Run rust source files directly

Language: Rust - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

JustusAdam/markdown-graph-ext

A markdown language extension for graphs

Language: Ruby - Size: 137 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 4 - Forks: 0

JustusAdam/aoc-2020

Advent of Code 2020

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

JustusAdam/schedule-planner

Calculate an ideal schedule layout from a set of timeslots

Language: Haskell - Size: 271 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 7 - Forks: 0

JustusAdam/noria-mysql Fork of mit-pdos/noria-mysql

MySQL/MariaDB protocol shim for Noria

Size: 772 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

JustusAdam/nom-sql Fork of ms705/nom-sql

Rust SQL parser written using nom

Language: Rust - Size: 615 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

JustusAdam/rahashmap Fork of fintelia/rahashmap

Language: Rust - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

JustusAdam/noria Fork of mit-pdos/noria

Dynamically changing, partially-stateful data-flow for web application backends.

Language: Rust - Size: 78.3 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

JustusAdam/hyperloop-rails.github.io Fork of hyperloop-rails/hyperloop-rails.github.io

Size: 15.8 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

JustusAdam/marvin-interpolate

Compile time String interpolation

Language: Haskell - Size: 36.1 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

JustusAdam/klee Fork of klee/klee

KLEE Symbolic Execution Engine

Language: C++ - Size: 6.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

JustusAdam/cil Fork of stephenrkell/cil

C Intermediate Language

Language: OCaml - Size: 30.6 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

JustusAdam/marvin-docs

ReadTheDocs documentation for marvin

Language: Python - Size: 77.1 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

JustusAdam/filestore Fork of jgm/filestore

A versioning file store backed by git, darcs, or mercurial

Language: Haskell - Size: 512 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

JustusAdam/ocaml2020-workshop-parallel Fork of ocaml-multicore/multicore-talks

Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"

Size: 771 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

JustusAdam/gitit Fork of jgm/gitit

A wiki using HAppS, pandoc, and git

Language: Haskell - Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

JustusAdam/liballocs Fork of stephenrkell/liballocs

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

Size: 4.83 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

JustusAdam/create-haskell-binaries-with-actions

I am tinkering with GitHub actions to build haskell programs and automatically upload runnable binaries

Language: Haskell - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

JustusAdam/ocaml-recursion-schemes

Playing around with recursion schemes in OCaml

Language: OCaml - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 1

JustusAdam/language-java Fork of vincenthz/language-java

Java parser and printer for haskell

Language: Haskell - Size: 452 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

JustusAdam/barcampCanterbury Fork of calaldees/barcampCanterbury

Resources and Documentation for running BarCamp Canterbury

Size: 1.28 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

JustusAdam/fmt Fork of cdornan/fmt

New formatting library

Language: Haskell - Size: 260 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

JustusAdam/cv Fork of sharu725/online-cv

An online version of my CV

Language: CSS - Size: 4.32 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

JustusAdam/cast-finder

A tiny tool that finds casts in C programs

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

JustusAdam/slicer

A simple program slicer for a procedural language

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

JustusAdam/lvars-latency-bench

Language: Haskell - Size: 150 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

JustusAdam/simple-text-format

Language: Haskell - Size: 7.81 KB - Last synced: 20 days ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

JustusAdam/snaplet-scoped-session

Typed and scoped sessions Snaplet

Language: Haskell - Size: 19.5 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0

JustusAdam/spellcheck

A simple command line spellchecker

Language: Haskell - Size: 1.32 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

JustusAdam/bitbucket-github-migrate

Migrate from Bitbucket to GitHub

Language: Haskell - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 1 - Forks: 0

JustusAdam/haxl-test-generated-graph

Language: Haskell - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

JustusAdam/servestatic

Snaplet which serves webpages with rendered documents, such as markdown

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

JustusAdam/exit-codes

UNIX Exit codes for Haskell

Language: Haskell - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

JustusAdam/mactools

List of (mostly free and OS) software I use on my mac as well as where and how to get it.

Language: Haskell - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

JustusAdam/docbuilder

Building markdown and asciidoc notes

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

JustusAdam/bash-slack-bot

Quote collector webhook endpoint

Language: Haskell - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 4 - Forks: 0

JustusAdam/vocab-trainer

A simple vocabulary storage and query program with sqlite

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0

JustusAdam/add-to-path

A Haskell library for manipulating PATH

Language: Haskell - Size: 125 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0

JustusAdam/hpingserver

Ping a url repeatedly until it answers.

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0

JustusAdam/hlinecount

Count non-empty code lines

Language: Haskell - Size: 195 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

JustusAdam/htimer

A "pretty printing" console timer

Language: Haskell - Size: 148 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 2 - Forks: 0

JustusAdam/misc

Code snippets for various purposes

Language: Haskell - Size: 54.7 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

JustusAdam/advent-of-code-2019

My solutions to the advent of code

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

JustusAdam/fgl Fork of haskell/fgl

A Functional Graph Library for Haskell

Language: Haskell - Size: 316 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

JustusAdam/devdocs Fork of freeCodeCamp/devdocs

API Documentation Browser

Language: Ruby - Size: 17.8 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

JustusAdam/influxdb-python Fork of influxdata/influxdb-python

Python client for InfluxDB

Language: Python - Size: 1.01 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

JustusAdam/streaming-benchmarks Fork of yahoo/streaming-benchmarks

Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...

Language: Java - Size: 110 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

JustusAdam/emiuebung

Emi ist toll!

Size: 112 KB - Last synced: 10 months ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

JustusAdam/missingh Fork of haskell-hvr/missingh

Utility library [Haskell]

Language: Haskell - Size: 2.71 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

JustusAdam/universum Fork of serokell/universum

:milky_way: Prelude written in @Serokell

Language: Haskell - Size: 585 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

JustusAdam/melpa Fork of melpa/melpa

Recipes and build machinery for the biggest Emacs package repo

Language: Emacs Lisp - Size: 11.2 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

JustusAdam/stackage Fork of commercialhaskell/stackage

"Stable Hackage": vetted consistent packages from Hackage

Language: Shell - Size: 9.72 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

JustusAdam/microlens Fork of stevenfontanella/microlens

A lightweight (but compatible with ‘lens’) lenses library

Language: Haskell - Size: 489 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

JustusAdam/stm-summary-paper

Language: TeX - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

JustusAdam/plfa.github.io Fork of plfa/plfa.github.io

Introduction to programming language theory in Agda.

Language: Agda - Size: 5.78 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

JustusAdam/thedatasleuth.github.io Fork of thedatasleuth/thedatasleuth.github.io

:raised_hands: Free and open-source Jekyll theme

Language: HTML - Size: 13.1 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

JustusAdam/free-monad-evolution

Summary on the history and evolution of the free monad

Language: TeX - Size: 1.5 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0

JustusAdam/freer-simple Fork of lexi-lambda/freer-simple

An implementation of “Freer Monads, More Extensible Effects”.

Language: Haskell - Size: 259 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

JustusAdam/cheatsheets Fork of rstacruz/cheatsheets

My cheatsheets

Language: CSS - Size: 4.23 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

JustusAdam/lvars Fork of iu-parfunc/lvars

The LVish Haskell library

Language: Haskell - Size: 7.02 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

JustusAdam/yauhau-doc Fork of tud-ccc/yauhau-doc

Documentation for Ÿauhau

Size: 743 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

JustusAdam/ample-theme Fork of jordonbiondo/ample-theme

A theme for Emacs providing dark, light, and flat versions.

Language: Emacs Lisp - Size: 158 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

JustusAdam/language-asciidoc

AsciiDoc support for visual studio code

Size: 537 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 9 - Forks: 4

JustusAdam/haskell-ats Fork of vmchale/haskell-ats

Template project for mixing Haskell and ATS

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0