murmour

murmour's Stars

• norvig/pytudes

  Python programs, usually short, of considerable difficulty, to perfect particular skills.

  Language:Jupyter Notebook23.1k775392.4k

• ipfs/ipfs

  Peer-to-peer hypermedia protocol

  22.7k9672171.5k

• EnterpriseQualityCoding/FizzBuzzEnterpriseEdition

  FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

  Language:Java21.5k173570757

• xoreaxeaxeax/movfuscator

  The single instruction C compiler

  Language:C9.4k20640396

• norvig/paip-lisp

  Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

  Language:Common Lisp7.2k23652702

• pervognsen/bitwise

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

  Language:C5.1k42142213

• xoreaxeaxeax/sandsifter

  The x86 processor fuzzer

  Language:Python4.9k16771350

• remacs/remacs

  Rust :heart: Emacs

  Language:Emacs Lisp4.6k153523307

• batsh-dev-team/Batsh

  A language that compiles to Bash and Windows Batch

  Language:OCaml4.3k11476169

• IAIK/meltdown

  This repository contains several applications, demonstrating the Meltdown bug.

  Language:C4.1k1520522

• microsoft/checkedc

  Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  Language:C3.2k106155182

• yrnkrn/zapcc

  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations

  Language:C++1.3k594161

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k676250

• hunterloftis/pbr

  a Physically Based Renderer (PBR) in Go

  Language:Go1.1k353142

• xoreaxeaxeax/sinkhole

  Architectural privilege escalation on x86

  Language:Assembly85194275

• janestreet/hardcaml

  Hardcaml is an OCaml library for designing hardware.

  Language:OCaml667321039

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML62648650143

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml429265377

• the-little-prover/j-bob

  Language:Scheme41932963

• tomsmalley/custom-topre-guide

  Guidelines for designing a custom Topre keyboard

  40834129

• kiselgra/c-mera

  Next-level syntax for C-like languages :)

  Language:Common Lisp4051810317

• Serkov/Dao

  Electric materials manual book

  Language:TeX32639494

• 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:OCaml231177270

• samrushing/irken-compiler

  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.

  Language:Scheme210136817

• mrkline/concurrency-primer

  The basics of low-level concurrency in a sub-30 minute read

  Language:TeX1761037

• nanocaml/nanocaml

  Nanopass for OCaml

  Language:OCaml1411257

• cpitclaudel/quick-peek

  Quick-peek inline-window library for Emacs

  Language:Emacs Lisp8371013

• StuartGordonReid/emh

  An R Package for testing the Efficient Market Hypothesis

  Language:R287610

• yuutayamada/suggestion-box-el

  Language:Emacs Lisp12291

• StuartGordonReid/NonRandomWalks

  Implementation of Lo and MacKinlay's statistical tests from A Non Random Walk Down Wall Street

  Language:R11407