Giters
Dave Della Costa (ddellacosta)

ddellacosta

Geek Repo

72

followers

41

following

509

stars

Company:@collegevine

Location:Beacon, NY

Home Page:ostina.to

Github PK Tool:Github PK Tool

Dave Della Costa's starred repositories

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

License:NOASSERTIONStargazers:183200Issues:2406Issues:804

awesome-cold-showers

For when people get too hyped up about things

License:NOASSERTIONStargazers:7245Issues:222Issues:22

svgbob

Convert your ascii diagram scribbles into happy little SVG

Language:RustLicense:Apache-2.0Stargazers:3756Issues:39Issues:83

dist-prog-book

Language:CSSLicense:NOASSERTIONStargazers:3416Issues:171Issues:13

police-brutality

Repository containing evidence of police brutality during the 2020 George Floyd protests

Language:PythonLicense:MITStargazers:2626Issues:62Issues:920

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

Language:HaskellLicense:BSD-3-ClauseStargazers:2384Issues:89Issues:967

plzoo

Programming Languages Zoo

Language:OCamlLicense:MITStargazers:1430Issues:52Issues:18

swarm

Resource gathering + programming game

Language:HaskellLicense:NOASSERTIONStargazers:801Issues:15Issues:675

spectrum

Language:ClojureLicense:NOASSERTIONStargazers:590Issues:40Issues:26

smalltt

Demo for high-performance type theory elaboration

Language:LeanLicense:MITStargazers:502Issues:32Issues:4

vaserenderer

VASE renderer is a polyline and curve renderer on OpenGL.

Language:C++License:BSD-3-ClauseStargazers:330Issues:21Issues:6

nvd-clojure

National Vulnerability Database dependency checker for Clojure projects

Language:ClojureLicense:MITStargazers:272Issues:7Issues:71

clj-debugger

The missing tool

Language:ClojureLicense:EPL-1.0Stargazers:268Issues:15Issues:6

typo

A programming language that runs in Haskell's type system.

Language:HaskellLicense:NOASSERTIONStargazers:249Issues:17Issues:1

evil-goggles

Display visual hint on evil edit operations

Language:Emacs LispStargazers:224Issues:6Issues:26

nixos-weekly

NixOS Weekly Newsletter

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:211Issues:117Issues:48

linear

Low-dimensional linear algebra primitives for Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:196Issues:30Issues:105

Abstract-Algebra

A course-worth of notes

Stargazers:196Issues:9Issues:1

zetawar

Zetawar is a turn based tactical strategy game implemented in 100% ClojureScript.

Language:ClojureLicense:MITStargazers:168Issues:15Issues:89

tiny-games-hs

Haskell Tiny Game Jam

Language:HaskellStargazers:158Issues:12Issues:27

foldl

Composable, streaming, and efficient left folds

Language:HaskellLicense:BSD-3-ClauseStargazers:156Issues:13Issues:76

Haskell-OpenGL-Tutorial

an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO

Language:HaskellStargazers:147Issues:12Issues:8

hinc

Haskell In New Clothes

Language:HaskellLicense:BSD-3-ClauseStargazers:111Issues:10Issues:6

analytics

Language:HaskellLicense:NOASSERTIONStargazers:91Issues:31Issues:3

argos-presence

a robust room presence solution for home automation with nearly no false negatives

Language:PythonStargazers:59Issues:8Issues:5

purifix

The PureScript Package Manager in Nix

Language:NixLicense:BSD-3-ClauseStargazers:50Issues:3Issues:27

log.dev

Quick-start logging setup for Java or Clojure development

Language:ClojureStargazers:42Issues:2Issues:0

GLUtil

Utility functions for working with OpenGL BufferObjects, GLSL shaders, and textures.

Language:HaskellLicense:BSD-3-ClauseStargazers:40Issues:10Issues:19

Capabilities

A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.

Language:HaskellLicense:NOASSERTIONStargazers:27Issues:3Issues:0

game-idris

A 2D platformer in Idris, a dependently-typed purely functional programming language

Language:IdrisStargazers:23Issues:3Issues:1