thalesmg

thalesmg's Stars

• misuzu/nix-simple-deploy

  Deploy software or an entire NixOS system configuration to another NixOS system.

  Language:Rust566

• adamdecaf/vault-backend-migrator

  a tool to export and import (migrate) data across vault clusters

  Language:Go9826

• dhall-lang/dhall-haskell

  Maintainable configuration files

  Language:Dhall923217

• dhall-lang/dhall-kubernetes

  Typecheck, template and modularize your Kubernetes definitions with Dhall

  Language:Dhall62662

• forbesmyester/esqlate

  Build minimum viable admin panels quickly with just SQL

  Language:JavaScript1.4k32

• fpereiro/backendlore

  How I write backends

  5.1k255

• theonedev/onedev

  Git Server with CI/CD, Kanban, and Packages. Seamless integration. Unparalleled experience.

  Language:Java13.6k869

• smallhadroncollider/cmt

  Write consistent git commit messages based on a custom template

  Language:Haskell1899

• arp242/uni

  Query the Unicode database from the commandline, with good support for emojis

  Language:Go81121

• pmiddend/minicity

  Build a really small town and keep it alive

  Language:Haskell1

• ivanperez-keera/yampa-docs

  A collection of Yampa documentation

  4

• jgm/gitit

  A wiki using HAppS, pandoc, and git

  Language:Haskell2.2k225

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix7.4k1.9k

• corazza/idris-sdl2

  SDL2 bindings for my game in Idris

  Language:Idris71

• softwarefactory-project/dhall-ansible

  Ansible definitions with Dhall

  Language:Dhall6713

• 0xZ0F/Z0FCourse_ReverseEngineering

  Reverse engineering focusing on x64 Windows.

  Language:C++5.3k511

• elitak/nixos-infect

  [GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

  Language:Shell1.4k232

• Gabriella439/slides

  Slides from talks that I give

  Language:Haskell29430

• 0xb0bb/pwndra

  A collection of pwn/CTF related utilities for Ghidra

  Language:Python66341

• EncodePanda/todo-rest

  Example of usage polysemy and servant

  Language:Haskell565

• tdietert/types-as-specifications

  Language:Haskell4813

• effectfully-ou/sketches

  A Haskell blog

  Language:Haskell1294

• graninas/software-design-in-haskell

  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

  Language:Haskell1.1k69

• BLAKE3-team/BLAKE3

  the official Rust and C implementations of the BLAKE3 cryptographic hash function

  Language:Assembly5.3k361

• dnikolovv/haskell-tic-tac-toe

  A multiplayer web real-time implementation of the famous Tic Tac Toe game in Haskell.

  Language:Haskell618

• tssm/up-to-date-real-world-haskell

  I'm trying to update the Real World Haskell book

  Language:Python78948

• NixOS/nixfmt

  The official (but not yet stable) formatter for Nix code

  Language:Haskell97742

• magic-wormhole/magic-wormhole

  get things from one computer to another, safely

  Language:Python20.6k660

• psibi/dhall-mode

  Language:Emacs Lisp4517

• a-b-street/abstreet

  Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

  Language:Rust7.8k352