Skip to content
View mntns's full-sized avatar

Organizations

@h42i @CoolerMasterTechnology

Block or report mntns

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
271 results for source starred repositories
Clear filter

Rust binding and tools for Emacs's dynamic modules

Rust 345 22 Updated Sep 19, 2024

Supercharge your Org daily/weekly agenda by grouping items

Emacs Lisp 1,393 108 Updated Sep 16, 2024

Slice and dice logs on the command line

Rust 3,530 74 Updated Sep 3, 2024

An SQLite3 driver for Elixir

C 225 49 Updated Dec 20, 2024

Adaptive Lighting custom component for Home Assistant

Python 2,114 144 Updated Jan 13, 2025

The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.

Python 13,127 592 Updated Oct 17, 2024

CSV, JSON, GraphQL, XML and HTML datasource for grafana.

TypeScript 811 108 Updated Jan 17, 2025

Constructive Galois connections

Agda 32 3 Updated Mar 26, 2018

Lexical is a next-generation elixir language server

Elixir 917 83 Updated Jan 3, 2025

A lexical analyser generator for Haskell

Haskell 299 82 Updated Dec 30, 2024

Major mode of Terraform configuration file

Emacs Lisp 224 35 Updated Dec 17, 2024

GritQL is a query language for searching, linting, and modifying code.

Rust 3,291 88 Updated Jan 16, 2025

A simple LLM client for Emacs

Emacs Lisp 1,839 174 Updated Jan 17, 2025

Interactive JSON filter using jq

Rust 5,274 58 Updated Jan 6, 2025

RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata

Prolog 7 1 Updated Feb 4, 2022

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Prolog 281 22 Updated Nov 15, 2024

Machine Learning Engineering Open Book

Python 12,372 755 Updated Jan 17, 2025

Store and access data published by OwnTracks apps

C 927 125 Updated Jan 2, 2025

πŸƒ Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …

C++ 10,323 996 Updated Jan 17, 2025

Manage and restrain cross-module dependencies in Elixir projects

Elixir 830 22 Updated Oct 4, 2024

The Librum client application

C++ 4,320 136 Updated Jul 29, 2024

Rust VM for Emacs

Emacs Lisp 569 33 Updated Jan 14, 2025

πŸš€ A fast WebAssembly interpreter and the most universal WASM runtime

C 7,407 473 Updated Sep 10, 2024

An Nx backend for candle machine learning framework

Elixir 45 2 Updated Jan 16, 2025

Cleo allows you to create beautiful and testable command-line interfaces.

Python 1,299 93 Updated Jan 7, 2025

A list of awesome compiler projects and papers for tensor computation and deep learning.

2,461 307 Updated Oct 19, 2024

Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.

Emacs Lisp 534 54 Updated Jan 13, 2025

πŸ”€ An emacs centric keymap for the Charybdis keyboard

C 13 1 Updated Nov 5, 2021

A keyboard layout optimizer supporting multiple layers. Implemented in Rust.

Rust 103 20 Updated Nov 21, 2024

Implementation of Nougat Neural Optical Understanding for Academic Documents

Python 9,155 586 Updated Apr 16, 2024
Next