andreasabel/haskell-style-guide Fork of tibbe/haskell-style-guide

A style guide for Haskell code.

Language: Emacs Lisp - Size: 26.4 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 12 - Forks: 0

andreasabel/ini

Quick and easy INI configuration files for Haskell

Language: Haskell - Size: 47.9 KB - Last synced at: 5 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

andreasabel/foetus

Foetus -- Termination checker for a tiny functional language with inductive types

Language: Standard ML - Size: 20.5 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

andreasabel/helf

Haskell implementation of the Edinburgh Logical Framework

Language: Haskell - Size: 3.32 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 27 - Forks: 3

andreasabel/lambda-definability

Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond

Language: Agda - Size: 976 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 2

andreasabel/plt-agda

A compiler for a fragment of C using well-typed syntax and well-typed JVM instructions

Language: Agda - Size: 225 KB - Last synced at: 23 days ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 1

andreasabel/lock-file Fork of trskop/lock-file

Provide exclusive access to a resource using lock file.

Size: 60.5 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

andreasabel/fp2025 Fork of koengit/fp2025

puzzle for FP retreat 2025

Language: Haskell - Size: 19.5 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

andreasabel/cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

Language: Haskell - Size: 77.1 KB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 10 - Forks: 0

andreasabel/strong-normalization

Formalizations of strong normalization proofs

Language: TeX - Size: 5.52 MB - Last synced at: 23 days ago - Pushed at: almost 6 years ago - Stars: 35 - Forks: 3

andreasabel/jsaddle Fork of ghcjs/jsaddle

JavaScript interface that works with GHCJS or GHC

Size: 759 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

andreasabel/gha-test

Testing GitHub Actions

Size: 32.2 KB - Last synced at: 23 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

andreasabel/file-embed Fork of snoyberg/file-embed

Use Template Haskell to embed file contents directly.

Language: Haskell - Size: 93.8 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

andreasabel/proposal-agda-tutorial

Proposal for an Agda tutorial

Language: Makefile - Size: 17.6 KB - Last synced at: 23 days ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 0

andreasabel/risc386

Interpreter for symbolic 386 assembler (small fragment) written in Haskell

Language: Assembly - Size: 137 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

andreasabel/miniagda

A prototypical dependently typed languages with sized types and variances

Language: Haskell - Size: 1.3 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 107 - Forks: 4

andreasabel/hs-ed25519 Fork of thoughtpolice/hs-ed25519

Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.

Language: C - Size: 211 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

andreasabel/red-black-tree-left-leaning

Left-leaning red-black trees in Agda (insertion and deletion) with static ordering and balancing invariants

Language: Agda - Size: 151 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

andreasabel/tpil25 Fork of digama0/tpil25

Course materials for Chalmers TPIL25 class

Language: Lean - Size: 31.3 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

andreasabel/lichess-bot Fork of lichess-bot-devs/lichess-bot

A bridge between Lichess bots and chess engines

Language: Python - Size: 1.44 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

andreasabel/plt-errata Fork of teach-plt/plt-errata

Collection of errata for book Aarne Ranta, Implementing Programming Languages

Size: 28.3 KB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

andreasabel/haskell-ci Fork of haskell-CI/haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Language: Haskell - Size: 2.22 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

andreasabel/agda2lagda

Simple conversion from Agda text to literate Agda text.

Language: Haskell - Size: 153 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 14 - Forks: 0

andreasabel/Haxl Fork of facebook/Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language: Haskell - Size: 764 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/OpenGL Fork of haskell-opengl/OpenGL

Haskell bindings to OpenGL

Language: Haskell - Size: 2.01 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/entropy Fork of haskell/entropy

Easy entropy source for Haskell users.

Language: Haskell - Size: 98.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/monads-tf Fork of typeclasses/monads-tf

Monad classes, using type families

Size: 49.8 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/patience Fork of chessai/patience

Patience diff and longest increasing subsequence

Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/chell Fork of jmillikin/chell

ARCHIVED: GO HERE => https://github.com/typeclasses/chell

Size: 334 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

andreasabel/fix-whitespace-action

Run fix-whitespace on your repo.

Size: 15.6 KB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 4 - Forks: 1

andreasabel/haskeline Fork of haskell/haskeline

A Haskell library for line input in command-line programs.

Language: Haskell - Size: 1.18 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

andreasabel/Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

Language: Haskell - Size: 70.3 KB - Last synced at: 26 days ago - Pushed at: 8 months ago - Stars: 6 - Forks: 0

andreasabel/sbv-quarter-circle-puzzle

Solve a grid-based partitioning puzzle with SMT using Haskell's sbv library

Language: Haskell - Size: 55.7 KB - Last synced at: 23 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

andreasabel/tasty-golden Fork of UnkindPartition/tasty-golden

Golden test support for Tasty

Size: 149 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

andreasabel/foetus-report

Report on the foetus termination checker

Language: TeX - Size: 32.2 KB - Last synced at: 23 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

andreasabel/gloss Fork of benl23x5/gloss

Painless 2D vector graphics, animations and simulations.

Size: 1.43 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

andreasabel/map-syntax Fork of mightybyte/map-syntax

Syntax sugar and explicit semantics for statically defined maps

Size: 57.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

andreasabel/snap Fork of snapframework/snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

Size: 1.93 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/safecopy Fork of acid-state/safecopy

An extension to Data.Serialize with built-in version control

Size: 184 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/java-adt

A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).

Language: Haskell - Size: 31.3 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 16 - Forks: 0

andreasabel/hakyll Fork of jaspervdj/hakyll

A static website compiler library in Haskell

Size: 17.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/commonmark-hs Fork of jgm/commonmark-hs

Pure Haskell commonmark parsing library, designed to be flexible and extensible

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

andreasabel/term-rewriting Fork of haskell-rewriting/term-rewriting

Yet another haskell term rewriting library

Size: 144 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/union-find-array Fork of haskell-rewriting/union-find-array

ST based union find data structure

Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/ghc-paths Fork of simonmar/ghc-paths

Knowledge of GHC's installation directories

Size: 26.4 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

andreasabel/ci-stack-win

Github Workflow Issue

Language: Haskell - Size: 6.84 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/agda-automata

Formalisation of automata in Agda

Language: Agda - Size: 218 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

andreasabel/hs-captcha Fork of IreneKnapp/hs-captcha

Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/granule Fork of granule-project/granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Size: 7.49 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

andreasabel/gerty Fork of granule-project/gerty

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

Size: 1.08 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

andreasabel/packdeps Fork of snoyberg/packdeps

Web app to track lagging package dependencies.

Size: 278 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/geniplate Fork of danr/geniplate

Use TH to generate uniplate-like functions.

Size: 53.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/tagged Fork of ekmett/tagged

phantom types

Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/HaXml Fork of HaXml/HaXml

Haskell HaXml library by Malcolm Wallace

Size: 5.11 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/atp-haskell Fork of seereason/atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

Size: 635 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/cabal-bug-build-tool

Demonstrate a cabal build concerning build-tools

Language: Haskell - Size: 8.79 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/minisat-bundle Fork of jbransen/minisat-bundle

Minisat Haskell bundle

Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/tutch

TUTorial proof CHecker -- a small proof language to teach formal reasoning

Language: Standard ML - Size: 88.9 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/ObjTT

Language: Haskell - Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

andreasabel/constraint-based-type-inference

Agda formalization of constraint-based type inference for the simply-typed lambda-calculus

Language: Agda - Size: 6.84 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

andreasabel/applicative

Haskell's applicative functors are multi-category functors

Language: TeX - Size: 18.6 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

andreasabel/setup-agda Fork of wenkokke/setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

Size: 15.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/logrel-mltt Fork of mr-ohman/logrel-mltt

A Logical Relation for Martin-Löf Type Theory in Agda

Language: Agda - Size: 2.47 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/ansi-terminal Fork of UnkindPartition/ansi-terminal

ANSI terminal support for Haskell, with Windows compatibility

Size: 335 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/string-qq Fork of audreyt/string-qq

QuasiQuoter for non-interpolated, overloaded strings

Language: Haskell - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/stackage-snapshots Fork of commercialhaskell/stackage-snapshots

LTS Haskell and Stackage Nightly snapshot configurations (experimental, for pantry)

Language: Haskell - Size: 190 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/hslua Fork of hslua/hslua

Haskell bindings to Lua, an embeddable scripting language.

Size: 4.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/Juicy.Pixels Fork of Twinside/Juicy.Pixels

Haskell library to load & save pictures

Language: Haskell - Size: 39.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/foldl Fork of Gabriella439/foldl

Composable, streaming, and efficient left folds

Language: Haskell - Size: 318 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/Haskell-Pipes-ByteString-Library Fork of Gabriella439/Haskell-Pipes-ByteString-Library

ByteString support for pipes

Language: Haskell - Size: 172 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/shellcheck Fork of koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

Language: Haskell - Size: 5.35 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/ipl

Agda formalization of Intuitionistic Propositional Logic

Language: TeX - Size: 2.93 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 22 - Forks: 2

andreasabel/generic-lens Fork of kcsongor/generic-lens

Generically derive traversals, lenses, and prisms.

Size: 1000 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/th-extras Fork of mokus0/th-extras

A grab bag of useful functions for use with Template Haskell

Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/Haskell-MVC-Updates-Library Fork of Gabriella439/Haskell-MVC-Updates-Library

Concurrent and combinable updates

Language: Haskell - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/shake Fork of ndmitchell/shake

Shake build system

Size: 8.85 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/nothunks Fork of input-output-hk/nothunks

Size: 67.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/pqueue Fork of lspitzner/pqueue

Haskell priority queue package

Size: 296 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

andreasabel/zlib Fork of haskell/zlib

Compression and decompression in the gzip and zlib formats

Language: C - Size: 1.34 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/sendfile Fork of Happstack/sendfile

A portable sendfile library

Size: 281 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/peano.hs

Peano numbers

Language: Haskell - Size: 16.6 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

andreasabel/cache Fork of actions/cache

Cache dependencies and build outputs in GitHub Actions

Size: 23 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/hasktorch Fork of hasktorch/hasktorch

Tensors and neural networks in Haskell

Language: Haskell - Size: 13.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/snap-core Fork of snapframework/snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

Language: Haskell - Size: 1.98 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/megaparsec Fork of mrkkrp/megaparsec

Industrial-strength monadic parser combinator library

Size: 2.39 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/happstack-server Fork of Happstack/happstack-server

An HTTP Server

Language: Haskell - Size: 2.95 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/agda-algebras Fork of ualib/agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

Size: 63.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/lifted-async Fork of maoe/lifted-async

Run lifted IO operations asynchronously and wait for their results

Language: Haskell - Size: 223 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/vector-algorithms Fork of erikd/vector-algorithms

Size: 496 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/openssl-streams Fork of snapframework/openssl-streams

OpenSSL network support for io-streams.

Size: 30.3 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

andreasabel/agda-stdlib Fork of agda/agda-stdlib

The Agda standard library

Language: Agda - Size: 78.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

andreasabel/http-streams Fork of aesiniath/http-streams

Haskell HTTP client library for use with io-streams

Size: 742 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/dlist Fork of spl/dlist

Difference lists in Haskell

Size: 210 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andreasabel/network Fork of haskell/network

Low-level networking interface

Size: 1.83 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

andreasabel/streaming-commons Fork of fpco/streaming-commons

Common lower-level functions needed by various streaming data libraries

Size: 296 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

andreasabel/semigroups Fork of ekmett/semigroups

Haskell 98 semigroups

Size: 510 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

andreasabel/clientsession Fork of yesodweb/clientsession

Stores web session data in a client cookie, protected with authentication and encryption.

Size: 104 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

andreasabel/hspec-expectations Fork of hspec/hspec-expectations

Catchy combinators for HUnit

Size: 89.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

andreasabel/xrefcheck Fork of serokell/xrefcheck

Check cross-references in repository documents

Size: 961 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

andreasabel/cond Fork of kallisti-dev/cond

Basic conditional operators with monadic variants.

Size: 38.1 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0