jnpn

jnpn's Stars

• darrenburns/posting

  The modern API client that lives in your terminal.

  Language:Python8.7k151

• Kimbsy/autology

  A hot take on Lisp metaprogramming

  Language:Clojure1042

• ocaml-multicore/ocaml-effects-tutorial

  Concurrent Programming with Effect Handlers

  Language:OCaml67636

• Zouuup/landrun

  Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.

  Language:Go1.4k24

• zserge/tinylangs

  Real programming languages in 50 lines of code

  Language:Python32716

• youki-dev/youki

  A container runtime written in Rust

  Language:Rust6.6k363

• christian-fei/my-yt

  A clean and minimal youtube frontend, without all the ads and whistles

  Language:JavaScript83760

• radarroark/xit

  a git alternative written in zig

  Language:Zig2689

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

  Language:Coq87131

• bernsteining/beep-beep

  curated list of programs to accelerate your workflow on Linux, with a focus on TUI / CLI and RAM consumption.

  29

• BurntSushi/ripgrep

  ripgrep recursively searches directories for a regex pattern while respecting your gitignore

  Language:Rust51.5k2.1k

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C46117

• rustpq/pqcrypto

  Rust Post-Quantum cryptography

  Language:Rust29554

• iamyifan/COMP6670_Introduction_to_Machine_Learning

  COMP6670 2022S2: https://programsandcourses.anu.edu.au/2022/course/COMP6670

  Language:Jupyter Notebook52

• VivianePons/multipolynomial-bases

  A Sage package to work on multipolynomials bases (Schubert, Grothendieck, Key)

  Language:Python42

• airbus-seclab/soxy

  A suite of services (SOCKS, FTP, shell, etc.) over Citrix, VMware Horizon and native Windows RDP virtual channels.

  Language:Rust19118

• vouch-opensource/fugato

  Data-first stateful generator for Clojure

  Language:Clojure106

• squint-cljs/cherry

  Experimental ClojureScript to ES6 module compiler

  Language:Clojure58522

• tristanstraub/blender-clj

  Scripting blender with clojure

  Language:Shell643

• sachac/subed

  subed is a subtitle editor for Emacs

  Language:Emacs Lisp19618

• pganalyze/libpg_query

  C library for accessing the PostgreSQL parser outside of the server environment

  Language:C1.3k191

• ligurio/lark-grammars

  Grammars suitable for lark parser and Hypothesis

  Language:Python475

• radiac/django-tagulous

  Fabulous Tagging for Django

  Language:Python35267

• happi/theBeamBook

  A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

  Language:Erlang3.2k224

• fiatjaf/jq-web

  jq in the browser with emscripten.

  Language:JavaScript33331

• elapouya/django-listing

  Listing, table, with toolbars, automatic search and insert forms and much more for Django

  Language:SCSS605

• feldera/feldera

  The Feldera Incremental Computation Engine

  Language:Rust1.2k56

• emacs-sideline/sideline

  Show information on the side

  Language:Emacs Lisp16317

• vmchale/apple

  Apple array system

  Language:Jupyter Notebook662

• cookiecutter/cookiecutter-django

  Cookiecutter Django is a framework for jumpstarting production-ready Django projects quickly.

  Language:Python12.6k3k