ttuegel/HttpServer.lean ttuegel/HttpServer.lean

  • Stars
    star
    2
  • Language Lean
  • Created 10 months ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ttuegel/HttpServer.lean
github

ttuegel

Reviews

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

Repository Details

A simple HTTP server in Lean

More Repositories

1

nixos-config

My NixOS configuration
Nix
24
star
2

sparse-linear

Traditional sparse linear algebra in Haskell
Haskell
12
star
3

statistical-elements

The Elements of Statistical Learning in Haskell
Logos
12
star
4

autonix-deps

Library for Nix expression dependency generation
Haskell
12
star
5

loops

Fast imperative-style loops in Haskell
Haskell
9
star
6

haskell-code-smells

8
star
7

pipes-ghc-events

Compositional pipelines for parsing .eventlog files
Haskell
7
star
8

alsa-mixer

Haskell bindings to the ALSA mixer API
Haskell
7
star
9

fontconfig-penultimate

The next-to-last fontconfig settings you will ever need
7
star
10

nixpkgs-kframework

Nixpkgs overlay for K Framework packages
Nix
5
star
11

refined-linear

Linear algebra with static dimensions using refinement types
Haskell
4
star
12

holly

Simple X11 compositor in Haskell
Haskell
4
star
13

temporary-resourcet

Portable temporary files and directories (with automatic deletion) for Haskell
Haskell
3
star
14

scratch

Playground for various experiments
Haskell
2
star
15

libarchive-conduit

Read many archive formats in Haskell with libarchive and conduit
Haskell
2
star
16

utf32

UTF-32-encoded packed string type
Haskell
2
star
17

haskell-love-2021

Strict Haskell presentation at haskell.love 2021
Nix
2
star
18

recategorize

Re-implementing category theory
Haskell
2
star
19

haskell-language-server-nix

Nix
2
star
20

time-quote

Haskell
2
star
21

arpack

Solve sparse matrix eigenvalue problems
Haskell
2
star
22

emacs-config

My Emacs configuration
Emacs Lisp
2
star
23

autonix-deps-kf5

Generate dependencies for KDE 5 Nix expressions
Haskell
2
star
24

linear-algebra

Linear algebra with static dimensions in Haskell
Haskell
1
star
25

cabal-nix

Barebones Nix expressions for Cabal projects
Haskell
1
star
26

ghc-env

GHC/Haskell development environment with Nix
Haskell
1
star
27

numeric-differentiation

Algorithms for numeric differentiation with error estimates
Haskell
1
star
28

nixpkgs-stack

Nixpkgs overlay for Haskell Stack
Nix
1
star
29

hpc

Haskell
1
star
30

libarchive

Haskell interface to libarchive
Haskell
1
star
31

nbody

nbody examples from the Computer Language Benchmarks Game
Haskell
1
star
32

cached-traversable

Transparent, persistent caching of lazy, traversable structures
Haskell
1
star
33

bibtex-fetch

Fetch BibTeX entries from Emacs
Emacs Lisp
1
star
34

ghc-mod-issue-339

Haskell
1
star
35

repos

Haskell
1
star
36

precision

Estimate approximation uncertainty for finite-precision types
Haskell
1
star
37

abstract-syntax

Haskell
1
star
38

libarchive-streams

Read any archive format with libarchive and io-streams
Haskell
1
star
39

operating-system

Reflect the host and target operating systems at type level
Haskell
1
star