Giters
Simon Friis Vindum (paldepind)

paldepind

Geek Repo

687

followers

6

following

299

stars

Location:Copenhagen, Denmark

Home Page:monoid.dk

Github PK Tool:Github PK Tool

Organizations
funkia
miracle-as
ramda
snabbdom

Simon Friis Vindum's repositories

flyd

The minimalistic but powerful, modular, functional reactive programming library in JavaScript.

Language:JavaScriptLicense:MITStargazers:1565Issues:35Issues:122

functional-frontend-architecture

A functional frontend framework.

Language:JavaScriptLicense:MITStargazers:1443Issues:72Issues:9

union-type

A small JavaScript library for defining and using union types.

Language:JavaScriptLicense:MITStargazers:476Issues:15Issues:34

composable.el

Composable text editing for Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:114Issues:5Issues:17

projectdo

Context-aware single-letter project commands to speed up your terminal workflow.

Language:ShellLicense:GPL-3.0Stargazers:57Issues:3Issues:4

finger-tree

Highly optimized implementation of finger trees in JavaScript

Language:TypeScriptLicense:MITStargazers:6Issues:4Issues:0

category-theory-notes

Language:TeXStargazers:3Issues:5Issues:0

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2Issues:2Issues:0

domain-theory

Language:CSSStargazers:1Issues:3Issues:0

dotfiles

Repository containing my dotfiles.

Language:Emacs LispStargazers:1Issues:3Issues:0

paldepind.github.io

Language:CSSStargazers:1Issues:3Issues:1

ramda

:ram: Practical functional Javascript

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

react-native-chainable-stylesheet

Language:TypeScriptStargazers:1Issues:3Issues:1

assets-for-api-docs

Static assets for embedding into docs.flutter.io

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

Au_ml19

Exercises for machine learning course at Aarhus University 2019

Language:Jupyter NotebookStargazers:0Issues:2Issues:0

awsm.fish

A curation of prompts, plugins & other Fish treasures 🐚💎

License:CC0-1.0Stargazers:0Issues:1Issues:0

book

The Rust Programming Language

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

doom-emacs

An Emacs configuration for the stubborn martian vimmer

Language:Emacs LispLicense:MITStargazers:0Issues:2Issues:0

drift

Drift is an easy to use, reactive, typesafe persistence library for Dart & Flutter.

Language:DartLicense:MITStargazers:0Issues:1Issues:0

flutter

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

homebrew-tap

Homebrew formulaes

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

iris-named-props

Named Props for Iris

Language:CoqLicense:MITStargazers:0Issues:2Issues:0

iris-project

Language:HTMLStargazers:0Issues:1Issues:0

iris-simp-lang

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Language:CoqStargazers:0Issues:2Issues:0

perennial

Verifying concurrent crash-safe systems

Language:CoqLicense:MITStargazers:0Issues:2Issues:0

polybar-browsermediacontrol

Browser Media Control module for Polybar

Language:PythonStargazers:0Issues:3Issues:0

purescript-refs

Mutable value references

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

smartcolumn.nvim

A Neovim plugin hiding your colorcolumn when unneeded.

Language:LuaLicense:MITStargazers:0Issues:1Issues:0

unicode-latex

A visual studio code extension to insert Unicode symbols given LaTeX symbol names

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0