Skip to content
View timmo7's full-sized avatar
Block or Report

Block or report timmo7

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Actor framework for Rust.

Rust 8,481 646 Updated Jun 17, 2024

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Rust 20,822 1,638 Updated Jul 20, 2024

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

Python 61,869 23,769 Updated Jul 20, 2024

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

Elixir 3,354 2,286 Updated Jul 20, 2024

Production-Grade Container Scheduling and Management

Go 108,634 38,966 Updated Jul 21, 2024

Live web development in Emacs

Emacs Lisp 1,091 57 Updated Mar 30, 2021

Binary serialisation in the CBOR format

Haskell 186 86 Updated Jun 7, 2024

Multicore OCaml

OCaml 762 68 Updated Dec 9, 2022

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Haskell 260 49 Updated Oct 28, 2023
OCaml 170 14 Updated Jun 29, 2016

Generic purpose Just-In-time compiler for Rust.

Rust 1,497 26 Updated May 12, 2019

Ruby memory profiler for >= Ruby 2.1.0

Ruby 66 6 Updated Jul 5, 2019

Etlas, the build tool and package manager for the Eta programming language

Haskell 63 10 Updated Nov 5, 2019

Error management

Rust 1,428 140 Updated May 2, 2020

SIMD for humans

Rust 1,556 51 Updated Aug 29, 2023

Emacs support for F*

Emacs Lisp 68 17 Updated Mar 12, 2024

A structured logging framework for Haskell

Haskell 203 67 Updated Nov 30, 2023

An implementation of "Freer Monads, More Extensible Effects".

Haskell 64 12 Updated Jul 8, 2018

🗝 Authentication for your Rails app without the icky-ness of passwords

Ruby 1,248 86 Updated May 28, 2024

Zero-details, privacy-focused in-app file system.

Rust 1,531 75 Updated Oct 21, 2023

Simple validation for Rust structs

Rust 1,899 139 Updated Jul 16, 2024

Emacs mode for ATS2

Emacs Lisp 7 7 Updated Feb 19, 2017

A dependency-free tool to run distributed transactions in Elixir, inspired by Sagas pattern.

Elixir 907 40 Updated Apr 11, 2024

Pub/sub system

Ruby 117 14 Updated May 2, 2024

Nix Packages collection & NixOS

Nix 16,657 13,109 Updated Jul 21, 2024

This is a very old fork of Org-mode, but it's the version I still use every day

Emacs Lisp 154 41 Updated Dec 3, 2023

A simple, flexible and composable web-router

Haskell 85 3 Updated Aug 12, 2019

Containers for STM

Haskell 64 13 Updated May 8, 2024
Next