thalesmg

thalesmg's Stars

• tailscale/tailscale

  The easiest, most secure way to use WireGuard and 2FA.

  Language:Go20.1k1647.6k1.6k

• overtone/overtone

  Collaborative Programmable Music

  Language:Clojure6k220341451

• p-org/P

  The P programming language.

  Language:C#3.1k106262180

• noahgorstein/jqp

  A TUI playground to experiment with jq

  Language:Go2.2k92343

• incanter/incanter

  Clojure-based, R-like statistical computing and graphics environment for the JVM

  Language:Clojure2.2k116220289

• mtrudel/bandit

  Bandit is a pure Elixir HTTP server for Plug & WebSock applications

  Language:Elixir1.7k2615389

• emacsorphanage/god-mode

  Minor mode for God-like command entering

  Language:Emacs Lisp8762011052

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust6731119321

• ppggff/vagrant-qemu

  Use Vagrant to manage machines using QEMU. Test with Apple Silicon / M1 and CentOS aarch64 image

  Language:Ruby437194935

• manateelazycat/color-rg

  Search and refactoring tool based on ripgrep.

  Language:Emacs Lisp17585333

• AlloyTools/models

  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

  Language:Alloy12717828

• RJ/relflow

  Version-incrementing, appup-generating, relx-coaxing, workflow-assistant for Erlang projects using rebar3.

  Language:Erlang9291717

• dnikolovv/practical-haskell

  A collection of Practical Haskell bits.

  Language:Haskell841124

• serokell/xrefcheck

  Check cross-references in repository documents

  Language:Haskell56161303

• betafcc/Municipios-Brasileiros-TSE

  Tabela com código tse e código ibge dos municípios

  Language:Jupyter Notebook385119

• atisharma/matlib

  A Clojure library of optimisation and control theory tools and convenience functions based on Neanderthal.

  Language:Clojure25300

• uwplse/StructTact

  Coq utility and tactic library.

  Language:Coq2131178

• pron/amazon-snapshot-spec

  TLA+ and Alloy specs of database isolation

  Language:Alloy19203

• ocramz/thih

  typing haskell in haskell

  Language:Haskell1531

• DistributedComponents/verdi-lockserv

  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

  Language:Coq13605

• gyng/synthrs-wasm-ts

  Example repository for synthrs integration with WebAssembly and TypeScript

  Language:TypeScript9212

• kjellwinblad/yaemep

  Emacs Erlang autocompletion and automatic etags handling

  Language:Erlang9411

• mikpe/erlml

  erlml - an ML implementation for the Erlang/OTP VM

  Language:Standard ML7200

• serokell/xrefcheck-action

  GitHub action for xrefcheck

  Language:Shell630

• lorin/alloy-consistency

  Modeling eventual consistency with Alloy

  Language:Alloy5201

• rossgore/alloy-tutorial

  Material from SpringSim tutorial on Conceptual Modeling with Alloy

  Language:Alloy5101

• mikpe/cps-decoder

  Using Continuation-Passing Style to optimize recursive decoding of binaries in Erlang.

  Language:Erlang3201

• ongyx/vgmusic.py

  (unofficial) Python API for vgmusic.com

  Language:Python2100

• libtx/SLOT

  THIS IS A WORK OF FICTION AND NOT a formally verified model checker

  Language:Coq1102

• savonarola/emqx_test_tf_aws

  Language:HCL130