DavidGregory084

DavidGregory084's Stars

• mchav/with

  Command prefixing for continuous workflow using a single tool.

  Language:Shell1.2k37

• Polytonic/Glitter

  Dead Simple OpenGL

  Language:CMake2.5k424

• djspiewak/parseback

  A Scala implementation of parsing with derivatives

  Language:Scala19722

• xebia-functional/nine-cards-v2

  An Open Source Android Launcher built with Scala on Android

  Language:Scala18420

• 47degrees/org

  Easily create a webpage with your organization's open source projects

  Language:Clojure374

• fomkin/korolev

  Single Page Applications running on the server side.

  Language:Scala57950

• theam/haskell-do

  :pencil2: :bar_chart: - The Haskell code editor focused on interactive development.

  Language:Haskell35231

• scala/collection-strawman

  Implementation of the new Scala 2.13 Collections

  Language:Scala19972

• uglyDwarf/linuxtrack

  Headtracking for Linux/Mac

  Language:C16030

• oleiade/trousseau

  File based encrypted key-value store

  Language:Go95846

• ccadllc/cedi-dtrace

  Provides a functional API for tracing programs across system and network boundaries.

  Language:Scala6212

• scodec/scodec

  Scala combinator library for working with binary data

  Language:Scala809106

• ccadllc/cedi-config

  Provides a safe API for parsing settings objects out of Typesafe Config.

  Language:Scala889

• ccadllc/cedi-circuitbreakers

  Provides protection against cascading failures and system overload.

  Language:Scala276

• mhinz/vim-galore

  :mortar_board: All things Vim!

  Language:Vim script17k610

• lukehaas/RegexHub

  A collection of useful regex patterns

  Language:JavaScript2.3k120

• mchav/PracticeProjects

  A folder of projects undertaken to improve programming skills and start small projects.

  Language:Scala3

• epfl-lara/ScalaZ3

  DSL in Scala for Constraint Solving with Z3 SMT Solver

  Language:Scala12334

• nst/JSONTestSuite

  A comprehensive test suite for RFC 8259 compliant JSON parsers

  Language:C++963151

• typelead/eta

  The Eta Programming Language, a dialect of Haskell on the JVM

  Language:Haskell2.6k140

• rudymatela/fitspec

  refine properties for testing Haskell programs

  Language:Haskell74

• jamiebuilds/the-super-tiny-compiler

  :snowman: Possibly the smallest compiler ever

  Language:JavaScript28k2.9k

• TiarkRompf/scala-escape

  A compiler plug-in to control object lifetimes in Scala

  Language:Coq635

• aishfenton/Argus

  Builds models from JSON Schemas

  Language:Scala10319

• chrisokasaki/scads

  Scala Algorithms and Data Structures

  Language:Scala23315

• hemanth/functional-programming-jargon

  Jargon from the functional programming world in simple terms!

  18.6k1k

• scala-exercises/scala-exercises

  The easy way to learn Scala.

  Language:Scala2.6k543

• xebia-functional/fetch

  Simple & Efficient data access for Scala and Scala.js

  Language:Scala49649

• bizzabo/diff

  Visually compare Scala data structures with out of the box support for arbitrary case classes.

  Language:Scala17817

• chrissimpkins/codeface

  Typefaces for source code beautification

  Language:Python6.2k416