jvanbruegge/Megarecord jvanbruegge/Megarecord

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Haskell
  • License
    Apache License 2.0
  • Created about 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jvanbruegge/Megarecord
github

jvanbruegge

Reviews

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

Repository Details

My experiment about implementing Row Polymorphism in current Haskell

More Repositories

1

minireq

A minimal request library for the browser
TypeScript
45
star
2

commithelper

A tool to create and lint commit messages
TypeScript
35
star
3

dhall-openssl

Generate a type-safe openssl configuration file with dhall
Dhall
13
star
4

server-config

The config of all the servers I manage
Nix
13
star
5

snabbdom-looks-like

Makes it easy to assert if two virtual DOM trees look similar
TypeScript
12
star
6

dotfiles

My new dotfiles for SwayWM on Arch Linux
Shell
12
star
7

nix-config

The NixOS configuration of my laptop
Shell
11
star
8

media-goggler

A media server written in Haskell and Cycle.js
Haskell
11
star
9

isabelle-lambda-calculus

A formal definition and verification of System F. To be extended to System Fc
Isabelle
10
star
10

AdvancedDispensersMod

My first Mod
Java
9
star
11

adcs_plot

A real time data viz app
TypeScript
7
star
12

articles

My collection of blog articles written for serveral sites, most likely the source for my own blog soon(TM)
6
star
13

cyclejs-test-helpers

A small collection of useful utilities
TypeScript
5
star
14

dotfiles-old

My personal config
Shell
5
star
15

sketch-preview

A browser extension to view sketch files in github
TypeScript
5
star
16

tree-selector

Use CSS selectors to match nodes in a custom object tree
TypeScript
4
star
17

Play2-Angular2-Template

A starting template for Play Framework 2 and Angular2
JavaScript
4
star
18

GUI-Technologies-for-web-applications

The source and slides for our Seminar 2018
4
star
19

binder_datatypes

A new foundational package for Isabelle/HOL that implements binding-aware datatypes
Isabelle
3
star
20

d3-axis-hyperscript

Generate human-readable axis for a given scale
TypeScript
3
star
21

advent-of-code-2018

Doing advent-of-code in Haskell
Haskell
3
star
22

munichjs-signals_vs_streams

My talk about Signals vs Streams
Shell
3
star
23

kubernetes-config-v2

My new kubernetes setup with dhall
Dhall
2
star
24

kubernetes-config

My new server setup V2
Shell
2
star
25

docker-letsencrypt

Shell
2
star
26

TechMod

Java
2
star
27

zero-to-webserver-haskell

Haskell
2
star
28

Building-a-stream-library-from-scratch

TypeScript
2
star
29

AdvancedDispensersMod2.0

The new Version of my first Mod
Java
2
star
30

pack.hs

A Typescript transpiler and bundler written in Haskell
Haskell
1
star
31

BetterCharacterController

A character controller for the Unity engine
C#
1
star
32

munichjs-promises

Shell
1
star
33

rust-raytracer-assignment

This will be a raytracer written with Rust and Vulkan
Rust
1
star
34

lambda-derive

A telegram bot that runs on AWS lambda that can calculate the derivative of an expression
Haskell
1
star
35

AnnoModdingTool

A tool to read Anno 2070 Model files, hopefully more later
C++
1
star
36

c-fun

A immutuable-first language compiling to C++
C++
1
star
37

liquidhaskell-amortized-complexity

My WIP paper about using LiquidHaskell to prove amortized complexity of data structures
TeX
1
star