travgm

travgm's Stars

• ocaml/Zarith

  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

  Language:OCaml23170

• ocaml/tuareg

  Emacs OCaml mode

  Language:Emacs Lisp36479

• janestreet/magic-trace

  magic-trace collects and displays high-resolution traces of what a process is doing

  Language:OCaml4.7k90

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3.1k706

• darrenburns/posting

  The modern API client that lives in your terminal.

  Language:Python6.1k94

• cia-foundation/TempleOS

  Talk to God on up to 64 cores. Final snapshot of the Third Temple.

  Language:HolyC3.1k267

• janestreet/learn-ocaml-workshop

  Exercises and projects for Jane Street's OCaml Workshop

  Language:OCaml564154

• facebookincubator/hsthrift

  The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

  Language:Haskell15134

• jtdaugherty/brick

  A declarative Unix terminal UI library written in Haskell

  Language:Haskell1.6k164

• facebookincubator/Glean

  System for collecting, deriving and working with facts about source code.

  Language:Hack96844

• unmarshal/ELF-Compass

  Utility to map a program's control flow for ELF binaries on Linux

  31

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k843

• arcana-technologies/arcana.elfscan

  ELF binary forensics tool for APT, virus, backdoor and rootkit detection

  Language:C459

• xmonad/xmonad

  The core of xmonad, a small but functional ICCCM-compliant tiling window manager

  Language:Haskell3.4k291

• glguy/irc-core

  Haskell IRC library and console client - Join us on libera.chat #glirc

  Language:Haskell16027

• microsoft/BitNet

  Official inference framework for 1-bit LLMs

  Language:C++11.2k760

• bitRAKE/charbyte

  low-level utility to display a table of byte sized characters

  Language:Assembly2

• davidly/ttt

  tic-tac-toe and its applicability to nuclear war and WOPR

  Language:C++21

• TheWover/donut

  Generates x86, x64, or AMD64+x86 position-independent shellcode that loads .NET Assemblies, PE files, and other Windows payloads from memory and runs them with parameters

  Language:C3.6k636

• project-everest/vale

  Verified Assembly Language for Everest

  Language:F#27020

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C20.7k3k

• raysan5/raylib

  A simple and easy-to-use library to enjoy videogames programming

  Language:C22.7k2.3k

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly59.4k7k

• aleksey-makarov/melf

  A Haskell library to parse/serialize Executable and Linkable Format (ELF)

  Language:Haskell51

• arcana-technologies/keylogger_malware

  Extrapolated from github.com/elfmaster/dt_infect to infect a command line shell with a keylogger

  Language:C8

• sad0p/d0zer

  Elf binary infector written in Go.

  Language:Go20636

• taviso/wpunix

  WordPerfect for UNIX Character Terminals

  Language:C65118

• elfmaster/libelfmaster

  Secure ELF parsing/loading library for forensics reconstruction of malware, and robust reverse engineering tools

  Language:C41064

• carloslack/KoviD

  Linux kernel rootkit

  Language:C27853

• blocktronics/moebius

  Modern ANSI & ASCII Art Editor

  Language:JavaScript76142