• Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Safe type conversions in Haskell

More Repositories

1

org-modern

πŸ¦„ Modern Org Style
Emacs Lisp
1,344
star
2

vertico

πŸ’« vertico.el - VERTical Interactive COmpletion
Emacs Lisp
1,344
star
3

consult

πŸ” consult.el - Consulting completing-read
Emacs Lisp
1,088
star
4

corfu

🏝️ corfu.el - COmpletion in Region FUnction
Emacs Lisp
1,000
star
5

marginalia

πŸ“œ marginalia.el - Marginalia in the minibuffer
Emacs Lisp
762
star
6

cape

🦸cape.el - Completion At Point Extensions
Emacs Lisp
533
star
7

osm

🌍 osm.el - OpenStreetMap viewer for Emacs
Emacs Lisp
496
star
8

tempel

πŸ›οΈ TempEl - Simple templates for Emacs
Emacs Lisp
464
star
9

jinx

πŸͺ„ Enchanted Spell Checker
Emacs Lisp
328
star
10

affe

πŸ’ affe.el - Asynchronous Fuzzy Finder for Emacs
Emacs Lisp
202
star
11

lmdb

Ruby bindings for the OpenLDAP's Lightning Memory-Mapped Database (LMDB)
C
105
star
12

goggles

goggles.el - Pulse modified region
Emacs Lisp
92
star
13

bibsync

BibSync is a tool to synchronize scientific papers and bibtex bibliography files
Ruby
60
star
14

paripari

Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
Haskell
56
star
15

hasklig-mode

hasklig-mode.el - Hasklig ligatures for emacs
Emacs Lisp
39
star
16

gridslides

LaTeX package to create free form slides with blocks placed on a grid
TeX
38
star
17

3delta

Host software especially suited for delta 3d printers
Tcl
36
star
18

pacgem

Gem installer for Arch Linux
Ruby
34
star
19

bookmark-view

bookmark-view.el - Use bookmarks to persist the current view
Emacs Lisp
34
star
20

osm2shp

Convert large OpenStreetMap files to shapefiles (Uses sqlite3 db as temporary storage)
C++
29
star
21

consult-flycheck

Consult integration for Flycheck
Emacs Lisp
28
star
22

chasm

Java Bytecode Assembler and Disassembler which uses S-expressions
Java
26
star
23

tab-bookmark

Persist Emacs Tabs as Bookmarks
Emacs Lisp
25
star
24

unit

Unit support for numbers
Ruby
24
star
25

mini-popup

Emacs Lisp
22
star
26

gitrb

Unmaintained: Simple git implementation in ruby similar to grit, based on git_store
Ruby
21
star
27

recursion-indicator

Recursion indicator for the mode-line
Emacs Lisp
20
star
28

henk

pure type system language - henk 2000 ported to megaparsec, pretty
Haskell
20
star
29

persist

Minimal binary serialization library with focus on performance
Haskell
17
star
30

rack-embed

Rack middleware which embeds small images as base64 data-url in css/html files if the browser supports it
Ruby
16
star
31

polyp

Emacs Lisp
12
star
32

writer-cps-mtl

Stricter drop in replacements for WriterT and RWST
Haskell
11
star
33

intro

Safe and minimal Haskell Prelude
Haskell
10
star
34

writer-cps-transformers

Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST
Haskell
10
star
35

wl-pprint-annotated

Wadler/Leijen pretty printer with annotations and API conforming to modern Haskell
Haskell
7
star
36

uchronia

uchronia.el - Rewrite the minibuffer history
Emacs Lisp
7
star
37

tasty-stats

Collect statistics of your Tasty testsuite
Haskell
7
star
38

tasty-auto

Deprecated: Auto discovery for the Tasty test framework, use tasty-discover instead
Haskell
6
star
39

quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances
Haskell
5
star
40

thinkpad-tools

Unmaintained: Some scripts used on my Thinkpad X60t
Python
5
star
41

typohero

TypoHero enhances your typography
Ruby
5
star
42

diascope

Unmaintained: S5: A Simple Standards-Based Slide Show System. Alternative implementation using jquery
JavaScript
5
star
43

colorful-monoids

colorful-monoids: Styled console text output using ANSI escape sequences
Haskell
4
star
44

9mount

Unmaintained fork of http://sqweek.dnsdojo.org/hg/9mount
C
4
star
45

omega

Haskell
4
star
46

distcc

distcc scripts
4
star
47

evaluator

Mathematical expression evaluator for infix notation. Supports variables and functions.
Ruby
3
star
48

xosdbar

show osd on X11, similar to osd_cat but with update support
C
3
star
49

wl-pprint-console

Wadler/Leijen pretty printer with annotations and support for colorful console output
Haskell
3
star
50

andromeda.hs

This is a direct port of Andrej Bauer's dependent type theory implementation from OCaml to Haskell
Haskell
3
star
51

mapgen

XCSoar Map Generator
Python
3
star
52

vle

Verilog Experiments
Verilog
3
star
53

console-style

Styled console text output using ANSI escape sequences
Haskell
3
star
54

analyzer

Some tools for physics calculations
C++
3
star
55

doxygen2adoc

Doxygen import for Asciidoc using XSLT and the Doxygen XML output
XSLT
3
star
56

ihs

Interpolated Haskell
LLVM
3
star
57

bigint-unboxed

JavaScript big integers with support for ES6 BigInt and unboxed small integers
JavaScript
2
star
58

special-values

Haskell
2
star
59

hashtable

Hashtable in C with open addressing and specialization via macros
C
2
star
60

i3-config

qubes i3 configuration
Shell
2
star
61

TaskList

Mediawiki plugin which implements a task tracker
PHP
2
star
62

implant

Linux from scratch package manager using symlinks - similar to GoboLinux (2008)
Shell
2
star
63

hexns

Nameserver for IPv6 which resolves Hexspeak subdomains
C
2
star
64

emacs-theme

Emacs Lisp
2
star
65

arch-packages

My arch pkbuilds
Shell
2
star
66

temple-mustache

Temple-based implementation of Mustache (Just a finger exercises to test temple)
Ruby
2
star
67

encode-string

String encoding and decoding in Haskell
Haskell
2
star
68

writer-cps-monads-tf

Stricter drop in replacements for WriterT and RWST
Haskell
2
star
69

slim-examples

http://slim-lang.com/
Ruby
2
star
70

imaginator

Unmaintained: Image generator for LaTex/graphviz source
Ruby
1
star
71

echoxul

echo2 java web app + xul (2006)
Java
1
star
72

persist-state

Haskell
1
star
73

strict-base

Strict versions of some standard Haskell data types
Haskell
1
star
74

writer-cps-full

Stricter drop in replacements for WriterT and RWST
Haskell
1
star
75

writer-cps-exceptions

Control.Monad.Catch instances for CPS WriterT and RWST monad transformers
Haskell
1
star
76

grouptsp

Travelling salesman (2004)
Java
1
star
77

pasty

easy to deploy, single file, under 50 line, command line pastebin
PHP
1
star
78

arduino-pi-gefrickel

Arduino/Rasberry Pi Gefrickel - Arduino/Rasberry Pi Fiddling
JavaScript
1
star
79

intro-prelude

Reexport Intro as Prelude
Haskell
1
star
80

os-experiment

simple i386 os with console and multithreading (2005)
C
1
star