Language Server Protocol
Language Server Protocol (LSP) specifies a standardized JSON-RPCbased protocol for communication between IDEs/editors and language servers, enabling consisten
Enter
PSLab Android App
Repository for the PSLab Android App for performing experiments with the Pocket Science Lab open-hardware platform. This repository holds the Android App for p
Enter
Gum
A tool for glamorous shell scripts. Leverage the power of Bubbles and Lip Gloss in your scripts and aliases without writing any Go code! Gum provides highly co
Enter
Super Tiny Icons
SuperTinyIcons provides minuscule SVG versions of popular website and app logos, each under 1 KB in size, making it ideal for embedding lightweight icons in we
Enter
StartBootstrap SB Admin 2
SB Admin 2 is a free, open-source, Bootstrap-based admin dashboard theme created by Start Bootstrap, designed to help developers quickly build responsive dashb
Enter
log4rs
log4rs is a highly configurable logging framework modeled after Java's Logback and log4j libraries. If you are using the file rotation in your configuratio
Enter
SCAP Security Guide
The purpose of this project is to create security policy content for various platforms, Red Hat Enterprise Linux, Fedora, Ubuntu, Debian, SUSE Linux Enterprise
Enter
Tiny Password Manager
Password Manager in a Single Source File. Features: Password ManagerSingle Source FileSecured by SHAKE(SHA3) User interface: Win32 (MS Windows). Programming L
Enter
MCP Linear
The MCP Linear server is a Model Context Protocol (MCP) implementation that enables AI assistants to interact with the Linear project management system through
Enter
radio-transcription-tool
# Radio Transcription Tool v3.1 A professional Python application for recording and transcribing Dutch and Belgian radio streams using OpenAI Whisper API, with
Enter
Portmaster
Portmaster is a free and open-source application firewall that does the heavy lifting for you. Restore privacy and take back control over all your computer'
Enter
websocket for Go
websocket is a minimal and idiomatic WebSocket library for Go. Minimal and idiomatic API. First class context.Context support. Fully passes the WebSocket autob
Enter
Reversi
Reversi game that can be played against Ai or another player locally. This runs on Windows, Debian based linux and MacOS 13. Please report any problems loading
Enter
ChainReaction
ChainReaction game that is a patient game of skill starting an explosion of dots to try and consume all other dots on screen. This runs on Windows, Debian base
Enter
Mines
Mines game that allows you to customize to your desire to play. Challenge your time or just enjoy winning depending on your settings. This runs on Windows, Deb
Enter
go-doudou
go-doudou (doudou pronounce /d?ud?u/) is OpenAPI 3.0 (for REST) spec and Protobuf v3 (for grpc) based lightweight microservice framework. It supports monolith
Enter
Apache SeaTunnel
SeaTunnel is a very easy-to-use ultra-high-performance distributed data integration platform that supports real-time synchronization of massive data. It can sy
Enter
pgvector
pgvector is an open-source PostgreSQL extension that equips PostgreSQL databases with vector data storage, indexing, and similarity search capabilitiesideal f
Enter
n8n Workflows
This repository aggregates a well-organized collection of community-submitted automation workflows built for n8n, a fair-code, self-hostable automation tool. I
Enter
Red Discord Bot
Red is a fully modular bot, meaning all features and commands can be enabled/disabled to your liking, making it completely customizable. This is a self-hosted
Enter
Nix Output Monitor
nix-output-monitor (also known as nom) is a workflow tool that enhances readability and usability of nix-build output by providing pretty, parsed summaries and
Enter
GHCid
ghcid is a minimalist development tool for Haskell that runs GHCi as a daemon, watches source files for changes, reloads automatically, and shows compile error
Enter
zsh-git-prompt
zsh-git-prompt is a Z shell prompt script that displays rich Git repository information in your shell prompt, such as branch, ahead/behind status, staged chang
Enter
erd
erd is a Haskell-based command-line tool that transforms a plain-text description of a relational database schema into a graphical entity-relationship diagram
Enter
Agda
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löfs type theory. It allows expressing progr
Enter
ergo
Technologies and design patterns of Erlang/OTP have been proven over the years. Now in Golang. Up to x5 times faster than original Erlang/OTP in terms of netwo
Enter
OWASP Amass
The OWASP Amass Project has developed a tool to help information security professionals perform network mapping of attack surfaces and perform external asset d
Enter
honSFV
honSFV is a free open source tool for creating and verifying SFV files easily written in Visual Basic 2010 (.NET Framework 2.0) The only requirement is .NET Fr
Enter
Mpxplay Multimedia Commander
MMC is a commander-style media player for Windows, with native, hw accelerated Video playing and translucent gui. Mpxplay is a console audio player for DOS and
Enter
Laravel wrapper for NativePHP
NativePHP is a new way to build native applications, using the tools you already know. NativePHP is not an especially opinionated way to build native apps. Rig
Enter
pgai
pgai is a suite of PostgreSQL extensions developed by Timescale to empower developers in building AI applications directly within their databases. It integrate
Enter
Ricochlime
Ricochlime is a satisfying monster shooter game where players eliminate advancing monsters using ricocheting projectiles. Developed with the Flame game engine
Enter
openwrt-forks-build
This is an application that can also be fetched from https: //sourceforge.net/projects/openwrt-forks-build/. It has been hosted in OnWorks in order to be run o
Enter
Java API for GitHub
This library defines an object oriented representation of the GitHub API. By "object oriented" we mean there are classes that correspond to the domain
Enter
blog_os
blog_os contains the source code for Philipp Oppermanns renowned "Writing an OS in Rust" blog series. Each tutorial is paired with a Git branch demo
Enter
Google Fonts
This is the central GitHub repository for Google Fonts, containing font binaries, metadata, and tools for uploading new typeface families. It serves as the sta
Enter
Queryparser
Queryparser is Ubers open-source Haskell library for parsing and analyzing SQL queries written in different dialects (Vertica, Hive, Presto). It creates a uni
Enter
Mongoose Embedded Web Server
Mongoose is a networking library for C/C++. It implements event-driven non-blocking APIs for TCP, UDP, HTTP, WebSocket, MQTT. It is designed for connecting dev
Enter
Hasktorch
Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differ
Enter
Reanimate
Reanimate is a Haskell-based animation library for programmatically creating high-quality vector animations. It provides declarative functionality for composin
Enter
Fay
Fay is a compiler for a proper subset of Haskell that type-checks using GHC and compiles to JavaScript. It supports pure functional programming, a Fay-specific
Enter
Aeson
aeson is a high-performance Haskell library for JSON parsing and encoding, optimized for speed and ease of use. It serves as a foundational tool in the Haskell
Enter
TensorFlow Haskell
The tensorflow-haskell package provides Haskell-language bindings for TensorFlow, giving Haskell developers the ability to build and run computation graphs, ma
Enter
niv
Niv is a tool designed for managing dependencies in Nix projects. It simplifies adding, updating, and removing package sources via a single nix/sources.json fi
Enter
Servant
Servant provides a type-level domain-specific language (DSL) in Haskell for describing web APIs. From a single API specification, developers can derive server
Enter
Gitit
Gitit is a wiki application written in Haskell that uses Happstack for serving and Pandoc for markup conversion. Wiki content and attachments are stored in Git
Enter
Yesod
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell
Enter
Functional-Programming
This repository is a tutorial collection showcasing functional programming concepts across multiple languages (Haskell, OCaml, Scala, Scheme, Clojure, Python).
Enter
Idris-dev
Idris?dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-sa
Enter
q Go
q is a better way to do print statement debugging. For best results, dedicate a terminal to tailing $TMPDIR/q while you work. You also can simply tail -f $TMPD
Enter