BartholomewPanda

BartholomewPanda's Stars

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k80

• phiresky/ripgrep-all

  rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

  Language:Rust8.1k177

• angr/pyvex

  Python bindings for Valgrind's VEX IR.

  Language:Python339115

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml15k2k

• TheAlgorithms/Python

  All Algorithms implemented in Python

  Language:Python194k45.6k

• algorithm-visualizer/algorithm-visualizer

  :fireworks:Interactive Online Platform that Visualizes Algorithms from Code

  Language:JavaScript46.7k7.3k

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k452

• abbysmal/Goodboy

  A pure OCaml Gameboy emulator

  Language:OCaml852

• dynamicwebpaige/ml-code-snippets

  A collection of code snippets for Python and R machine learning modules.

  Language:Jupyter Notebook52

• dinosaure/pasteur

  Paste-eur as unikernel

  Language:OCaml656

• Gekkio/mooneye-gb

  A Game Boy research project and emulator written in Rust

  Language:Rust89856

• SimonLarsen/tobutobugirl

  An arcade platformer homebrew game for the Game Boy

  Language:C2909

• kkuchta/css-only-chat

  A truly monstrous async web chat using no JS whatsoever on the frontend

  Language:Ruby6.6k276

• a327ex/blog

  gamedev blog

  3.3k143

• soul-lang/SOUL

  The SOUL programming language and API

  Language:C++1.7k95

• cloudkj/layer

  Neural network inference the Unix way

  Language:Scheme55717

• mohanson/gameboy

  Full featured Cross-platform GameBoy emulator by Rust. Forever boys!.

  Language:Rust1.4k83

• abbysmal/httpaf

  A high performance, memory efficient, and scalable web server written in OCaml

  Language:OCaml1

• inhabitedtype/faraday

  Serialization library built for speed and memory efficiency

  Language:OCaml13420

• dashbitco/nimble_parsec

  A simple and fast library for text-based parser combinators

  Language:Elixir80751

• airbus-seclab/bincat

  Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

  Language:OCaml1.7k162

• nim-lang/Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  Language:Nim16.6k1.5k

• elixir-lang/elixir

  Elixir is a dynamic, functional language for building scalable and maintainable applications

  Language:Elixir24.5k3.4k

• anuragsoni/routes

  typed bidirectional router for OCaml/ReasonML web applications

  Language:OCaml14511

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.7k2.5k

• calaylin/bda

  Programmer De-anonymization from Binary Executables

  Language:Java8618

• hennequin-lab/gp

  Simple OCaml interface for Gnuplot

  Language:OCaml111

• rvantonder/hack_parallel

  The core parallel and shared memory library used by Hack, Flow, and Pyre

  Language:OCaml428

• ANSSI-FR/ProTIP

  ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express

  Language:Prolog9

• RustPython/RustPython

  A Python Interpreter written in Rust

  Language:Rust19.1k1.2k