Skip to content
View simonchatts's full-sized avatar

Block or report simonchatts

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

Transparent file encryption in git

C++ 8,515 483 Updated Sep 3, 2024

A library for creating reactive web apps in Rust and WebAssembly

Rust 2,929 155 Updated Jan 4, 2025

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

Shell 1,431 232 Updated Jul 4, 2024

A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]

Swift 3,035 123 Updated Nov 20, 2023

Docker images for compiling static Rust binaries using musl-cross

Shell 654 71 Updated Jan 1, 2025

Build, bundle & ship your Rust WASM application to the web.

Rust 3,641 259 Updated Dec 20, 2024

Scan a public iCloud Shared Photo library, and send an email summary if new content is available.

Rust 1 Updated Mar 9, 2023

Locate and randomize cryptographic hashes in text files.

Rust 1 Updated Mar 28, 2023

Allows switch environment for Visual Studio Code using Nix Package Manager.

Clojure 225 29 Updated Aug 29, 2024

Nix language support for VSCode editor [maintainer: @jnoortheen]

TypeScript 316 26 Updated Jan 2, 2025

Binary serialisation in the CBOR format

Haskell 193 86 Updated Jul 26, 2024

Simple Haskell API for LMDB

Haskell 12 10 Updated Jun 17, 2019

Accelerate your web app development | Build fast. Run fast.

Python 18,183 1,559 Updated Jan 5, 2025

Nix Packages collection & NixOS

Nix 18,796 14,598 Updated Jan 5, 2025

Generically derive traversals, lenses, and prisms.

Haskell 439 55 Updated Dec 24, 2024

Responsive and reliable web apps with Elm and Twitter Bootstrap

Elm 396 72 Updated Apr 5, 2024

A dependently typed programming language, a successor to Idris

Idris 901 57 Updated Aug 11, 2020

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

C++ 939 211 Updated Dec 9, 2024

Framework for web apps, using an Elm frontend and Python 3.5+ backend

Python 10 7 Updated Mar 2, 2023

Haskell code prettifier

Haskell 996 151 Updated Sep 4, 2024

A concise grammar of interactive graphics, built on Vega.

TypeScript 4,723 622 Updated Jan 1, 2025

Response (model, Effects action) utilities in Elm Architecture.

Elm 13 3 Updated Aug 24, 2018

Monospaced font with programming ligatures based on DejaVu Sans Mono

Perl 470 11 Updated May 6, 2019