catb0t

catb0t's Stars

• vermaseren/form

  The FORM project for symbolic manipulation of very big expressions

  Language:C1.2k138

• bregman-arie/devops-exercises

  Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions

  Language:Python66.6k14.9k

• oriansj/stage0

  A set of minimal dependency bootstrap binaries

  Language:Assembly93052

• gifti258/factor

  Factor programming language

  Language:Factor1

• sickcodes/Docker-OSX

  Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

  Language:Shell48.4k2.7k

• natalie-lang/natalie

  a work-in-progress Ruby compiler, written in Ruby and C++

  Language:Ruby93863

• hazelgrove/hazel

  Hazel, a live functional programming environment with typed holes

  Language:Reason80152

• lexi-lambda/shattered-plans

  Language:Java342

• Innf107/polaris

  A functional programming language with shell scripting capabilities

  Language:OCaml913

• littlekernel/lk

  LK embedded kernel

  Language:C3.2k630

• travisg/newos

  The NewOS Operating System

  Language:C20239

• gershwin/gershwin

  Gershwin programming language

  Language:Java752

• Fpstefan/mjoy

  Interpreter for Subset of the Programming Language Joy with Turtle Graphics

  32

• trith/trith

  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.

  Language:Ruby692

• cognate-lang/cognate

  A human readable quasi-concatenative programming language

  Language:C24612

• cocoakrispies93/Cybersecurity

  Using Java Oracle Containers with Docker shell script - Ubuntu 20.04

  Language:C1

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia45.8k5.5k

• microsoft/WSL

  Issues found on WSL

  Language:PowerShell17.5k822

• melted/aoc2022

  Advent of code 2022

  Language:Haskell2

• HaikuArchives/PPViewer

  Decrunches all types of Amiga PowerPacker files, including encrypted files.

  Language:C++32

• haikuports/haikuports

  Software ports for the Haiku operating system.

  Language:Shell410307

• josefs/Gradualizer

  A Gradual type system for Erlang

  Language:Erlang61335

• darkreader/darkreader

  Dark Reader Chrome and Firefox extension

  Language:TypeScript19.6k2.4k

• petertseng/adventofcode-hs-2022

  Solutions to https://adventofcode.com/2022 (complete)

  Language:Haskell8

• gridap/Tutorials

  Start solving PDEs in Julia with Gridap.jl

  Language:Julia12641

• fjarri/spanish-verbs

  A database of Spanish verbs

  Language:Python83

• mooz/percol

  adds flavor of interactive filtering to the traditional pipe concept of UNIX shell

  Language:Python3.3k145

• es-meta/esmeta

  ECMAScript Specification (ECMA-262) Metalanguage

  Language:Scala20714

• thisisparker/public_domains

  Find possible host names in a source text

  Language:Python536

• ThePoetCoder/APL-to-NumPy

  Converting APL Primitives to NumPy Expressions

  Language:Jupyter Notebook256