Jealrock

Jealrock's Stars

• w3bdev1/pifc

  Paste Image From Clipboard in Emacs Org-Mode or Markdown-Mode

  Language:Emacs Lisp2

• pico-8/awesome-PICO-8

  A curated list of awesome PICO-8 resources, carts, tools and more

  2.7k93

• Kaali/pico8-mode

  PICO-8 mode for Emacs

  Language:Emacs Lisp295

• bbatsov/projectile

  Project Interaction Library for Emacs

  Language:Emacs Lisp4k580

• ch11ng/exwm

  Emacs X Window Manager

  2.9k134

• BNFC/bnfc

  BNF Converter

  Language:TeX587164

• tsoding/Noq

  Simple expression transformer that is not Coq.

  Language:Rust25324

• wenyuzhao/Lambda

  Lambda calculus interpreter in OCaml

  Language:OCaml103

• onionhoney/stlc-ocaml

  Simply Typed Lambda Calculus, implemented in Ocaml

  Language:OCaml71

• kthielen/stlcc

  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows

  Language:Haskell252

• arriven/db1000n

  Language:Go1.2k200

• devaspot/PFL

  PFL/CSP for C

  Language:C20

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.3k338

• flameshot-org/flameshot

  Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:

  Language:C++25.3k1.6k

• emacsorphanage/splitjoin

  Emacs port of splitjoin.vim

  Language:Emacs Lisp81

• google/trax

  Trax — Deep Learning with Clear Code and Speed

  Language:Python8.1k820

• junegunn/vim-after-object

  :point_right: Target text *after* the designated characters

  Language:Vim script1155

• rails/cssbundling-rails

  Bundle and process CSS in Rails with Tailwind, PostCSS, and Sass via Node.js.

  Language:Ruby59089

• synrc/bpe

  💠 BPE: BPMN Process Engine ISO 19510

  Language:Erlang26566

• scottrogowski/code2flow

  Pretty good call graphs for dynamic languages

  Language:Python4.1k299

• maxdore/elfe

  Interactive Theorem Proving for students

  Language:Haskell201

• imba/imba

  🐤 The friendly full-stack language

  Language:JavaScript6.3k176

• sebastianstarke/AI4Animation

  Bringing Characters to Life with Computer Brains in Unity

  Language:C++7.9k1.1k

• erpuno/scan

  💧 SCAN: Сканування

  Language:C#132

• nvim-neorg/neorg

  Modernity meets insane extensibility. The future of organizing your life in Neovim.

  Language:Lua6.6k216

• groupoid/anders

  🧊 Модальний гомотопічний верифікатор математики

  Language:OCaml202

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k2.6k

• atlas-engineer/nyxt

  Nyxt - the hacker's browser.

  Language:Common Lisp10.1k422

• avaneev/biteopt

  Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

  Language:C++1489

• akavel/up

  Ultimate Plumber is a tool for writing Linux pipes with instant live preview

  Language:Go8.4k129