jocal17

jocal17's Stars

• roswell/roswell

  intended to be a launcher for a major lisp environment that just works.

  Language:Common Lisp1.8k121

• jqlang/jq

  Command-line JSON processor

  Language:C30.6k1.6k

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda36967

• smallhadroncollider/taskell

  Command-line Kanban board/task manager with support for Trello boards and GitHub projects

  Language:Haskell1.7k72

• martanne/dvtm

  dvtm brings the concept of tiling window management, popularized by X11-window managers like dwm to the console. As a console window manager it tries to make it easy to work with multiple console based programs.

  Language:C858106

• LPCIC/elpi

  Embeddable Lambda Prolog Interpreter

  Language:Prolog29036

• LPCIC/coq-elpi

  Coq plugin embedding elpi

  Language:Coq13951

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq38282

• superjer/tinyc.games

  Tiny C games you can compile and run RIGHT NOW

  Language:C33739

• zyedidia/Literate

  A literate programming tool for any language

  Language:D67146

• android-hacker/VirtualXposed

  A simple app to use Xposed without root, unlock the bootloader or modify system image, etc.

  Language:Java15.5k2.5k

• EtchedPixels/FUZIX

  FuzixOS: Because Small Is Beautiful

  Language:C2.2k274

• ycm-core/ycmd

  A code-completion & code-comprehension server

  Language:C++1.7k768

• ycm-core/YouCompleteMe

  A code-completion engine for Vim

  Language:Python25.5k2.8k

• pickitup247/pyckitup

  python game engine that runs in browser

  Language:Rust28016

• rsnapshot/rsnapshot

  a tool for backing up your data using rsync (if you want to get help, use https://lists.sourceforge.net/lists/listinfo/rsnapshot-discuss)

  Language:Perl3.3k262

• ch11ng/exwm

  Emacs X Window Manager

  2.8k134

• mpv-player/mpv

  🎥 Command line video player

  Language:C28.6k2.9k

• HFO4/gameboy.live

  🕹️ A basic gameboy emulator with terminal "Cloud Gaming" support

  Language:Go4.7k233

• le-jzr/sisyphos-kernel-uefi-x86_64

  A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.

  Language:Rust443

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.4k1.6k

• intel/hyperscan

  High-performance regular expression matching library

  Language:C++4.8k721

• RustPython/RustPython

  A Python Interpreter written in Rust

  Language:Rust19.2k1.2k

• ThoughtWorksInc/DeepLearning.scala

  A simple library for creating complex neural networks

  Language:Scala77187

• atlas-engineer/nyxt

  Nyxt - the hacker's browser.

  Language:Common Lisp9.9k413

• pervognsen/bitwise

  Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

  Language:C5.1k212

• martinescardo/HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda21918

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell27228

• max-mapper/linux

  run Linux on Yosemite easily from the CLI

  Language:JavaScript45822

• karrot-dev/karrot-frontend

  We migrated to https://codeberg.org/karrot/karrot-frontend

  429177