scull7

scull7's Stars

• boundary/flake

  A decentralized, k-ordered id generation service in Erlang

  Language:Erlang58573

• Helsinki-NLP/Tatoeba-Challenge

  Language:Makefile81292

• stamparm/ipsum

  Daily feed of bad IPs (with blacklist hit scores)

  1.6k147

• sheharbano/BotFlex

  BotFlex is an open source tool or bot detection and analysis

  Language:Bro6019

• HelloZeroNet/ZeroNet

  ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

  Language:JavaScript18.4k2.3k

• teal-language/tl

  The compiler for Teal, a typed dialect of Lua

  Language:Lua2.2k112

• breck7/scroll

  Scroll is a language for scientists of all ages. Scroll includes a command line app that builds static blogs, websites, CSVs, text files, and more.

  Language:JavaScript45520

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust19.1k1.5k

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k143

• mikelxc/Workarounds-for-ARM-mac

  This repository describes how I get most of my configurations work on the new Apple Silicon Mac

  50317

• nzbin/three-dots

  🔮 CSS loading animations made with single element.

  Language:SCSS1.3k131

• jordwalke/rehp

  ReHp

  Language:OCaml22116

• moroshko/bs-blabla

  BuckleScript `[@bs.blabla]` attributes explained with examples

  1527

• liuchengxu/vim-clap

  :clap: Modern performant fuzzy picker, tree-sitter highlighting, and more, for both Vim and NeoVim

  Language:Rust2.1k86

• mirage/alcotest

  A lightweight and colourful test framework

  Language:OCaml46180

• imsnif/diskonaut

  Terminal disk space navigator 🔭

  Language:Rust2.5k69

• OctaneWeb/Octane

  A web server modeled after express in Rust.

  Language:Rust1395

• importcjj/mobc

  A generic connection pool for Rust with async/await support

  Language:Rust28542

• pazz/alot

  Terminal-based Mail User Agent

  Language:Python706164

• FbN/iodio

  Pure Functional Monadic Lazy Query Builder based on Knex,js powered by Fluture

  Language:JavaScript11

• Debdut/names.io

  A Global Exhaustive First and Last Name Database

  Language:Shell73156

• dyne/tomb

  the Crypto Undertaker

  Language:Shell1.4k157

• killercup/cargo-edit

  A utility for managing cargo dependencies from the command line.

  Language:Rust3.1k150

• strapi/strapi

  🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable, and developer-first.

  Language:TypeScript64.4k8.2k

• rbanffy/3270font

  A 3270 font in a modern format

  Language:Python1.8k72

• Vonmo/acounter

  Erlang Atomic Counter Example

  Language:Erlang131

• viebel/klipse

  Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

  Language:HTML3.1k147

• tallarium/reverse_proxy_plug

  🔛 an Elixir reverse proxy Plug with HTTP/2, chunked transfer and path proxying support

  Language:Elixir29367

• sozu-proxy/sozu

  Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

  Language:Rust3.2k198

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell5k201