mudetz

mudetz's Stars

• rqlite/rqlite

  The lightweight, user-friendly, distributed relational database built on SQLite.

  Language:Go16k724

• duckdb/duckdb

  DuckDB is an analytical in-process SQL database management system

  Language:C++25.3k2k

• haskell-servant/servant-elm

  Automatically derive Elm functions to query servant webservices

  Language:Haskell16548

• Holmusk/elm-street

  :deciduous_tree: Crossing the road between Haskell and Elm

  Language:Haskell886

• jgthms/bulma

  Modern CSS framework based on Flexbox

  Language:CSS49.5k3.9k

• olivierverdier/zsh-git-prompt

  Informative git prompt for zsh

  Language:Haskell1.7k397

• scotty-web/scotty

  Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

  Language:Haskell1.7k133

• yesodweb/yesod

  A RESTful Haskell web framework built on WAI.

  Language:Haskell2.7k374

• ndmitchell/shake

  Shake build system

  Language:Haskell772119

• silkapp/rest

  Packages for defining APIs, running them, generating client code and documentation.

  Language:Haskell38952

• michaelochurch/summer-2015-haskell-class

  Summer 2015 Haskell Class

  Language:Haskell21211

• catppuccin/nvim

  🍨 Soothing pastel theme for (Neo)vim

  Language:Lua5.8k262

• jhillyerd/go-to-elm-json

  Convert a Go struct to an Elm record via JSON decoder pipeline.

  Language:Go5

• agoessling/rules_sphinx

  Bazel rules for building Sphinx documentation.

  Language:Starlark103

• nij4t/rules_plantuml

  Bazel rules for building plantuml diagrams

  Language:Starlark1

• arechnitzer/CLP1

  "CLP-1 Differential Calculus" open source textbook

  Language:TeX5117

• mooculus/calculus

  Language:TeX139454

• active-calculus/active-calculus-single-mbx

  Language:PostScript1448

• rzach/incompleteness-computability

  Textbook on Gödel's incompleteness theorems and computability theory

  Language:TeX162

• timb07/shannon1948

  A Mathematical Theory of Communication by Claude E. Shannon, 1948

  Language:TeX1

• coinbase/terraform-landscape

  Improve Terraform's plan output to be easier to read and understand

  Language:Ruby1.6k118

• antonbabenko/pre-commit-terraform

  pre-commit git hooks to take care of Terraform configurations 🇺🇦

  Language:Shell3.2k541

• opentofu/opentofu

  OpenTofu lets you declaratively manage your cloud infrastructure.

  Language:Go23.7k924

• GoogleCloudPlatform/django-demo-app-unicodex

  Language:Python9425

• huszy/preact-google-recaptcha

  Preact Component wrapper for Google reCAPTCHA

  Language:JavaScript85

• nalgeon/sqlean

  The ultimate set of SQLite extensions

  Language:C3.8k125

• anishathalye/dotbot

  A tool that bootstraps your dotfiles ⚡️

  Language:Python7.2k294

• pisa-engine/pisa

  PISA: Performant Indexes and Search for Academia

  Language:C++95065

• nousxiong/resp

  RESP(REdis Serialization Protocol) C++ Implementation

  Language:C++168

• gerazo/loose_quadtree

  Loose Quadtree (Region Tree) simple C++11 implementation

  Language:C++656