lrworth

lrworth's Stars

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k231

• ChrisPenner/slick

  Static site generator built on Shake configured in Haskell

  Language:Haskell20425

• nadia-polikarpova/synquid

  Language:Haskell11815

• haskell/cabal-userguide

  A handy user guide for the Cabal build tool

  Language:Nix285

• BurntSushi/xsv

  A fast CSV command line toolkit written in Rust.

  Language:Rust10.3k318

• LuaLS/lua-language-server

  A language server that offers Lua language support - programmed in Lua

  Language:Lua3.3k306

• bigskysoftware/htmx

  </> htmx - high power tools for HTML

  Language:JavaScript37.4k1.3k

• Dunedan/mbp-2016-linux

  State of Linux on the MacBook Pro 2016 & 2017

  Language:Shell2.1k108

• Wilfred/difftastic

  a structural diff that understands syntax 🟥🟩

  Language:Rust20.5k331

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k396

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k141

• plclub/hs-to-coq

  Convert Haskell source code to Coq source code.

  Language:Coq778

• glasserc/elm-requested

  An opinionated library for managing requests

  Language:Elm3

• richjddavis/safari-fullscreen-noescape

  A small Safari extension to disable the default behaviour of Safari exiting OS X Full Screen Mode when the Escape key is pressed.

  Language:JavaScript143

• brendanhay/amazonka

  A comprehensive Amazon Web Services SDK for Haskell.

  Language:Haskell599227

• srid/ema

  Change-aware static site generator for Haskell programmers

  Language:Haskell1159

• Shopify/tapioca

  The swiss army knife of RBI generation

  Language:Ruby722120

• awakesecurity/spectacle

  Embedded specification language & model checker in Haskell

  Language:Haskell17512

• kovidgoyal/kitty

  Cross-platform, fast, feature-rich, GPU based terminal

  Language:Python23.8k963

• tchoutri/pg-entity

  A pleasant PostgreSQL database layer for Haskell

  Language:Haskell418

• tweag/nickel

  Better configuration for less

  Language:Rust2.3k89

• utdemir/ghc-musl

  Docker image with GHC+musl for static executables

  Language:Shell1358

• hercules-ci/gitignore.nix

  Nix functions for filtering local git sources

  Language:Nix24520

• Nipsuli/unisonhttp

  WIP: unison http implementation

  191

• unused-code/unused

  A tool to identify potentially unused code.

  Language:Rust27911

• Nike-Inc/hal

  hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

  Language:Haskell23813

• nix-community/nix-direnv

  A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

  Language:Shell1.8k101

• e-wrks/edh

  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++

  Language:Haskell285

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.4k4.7k

• yokljo/ruzzt

  RUZZT - A ZZT game engine clone written in Rust

  Language:Rust508