M-26-7

M-26-7's Stars

• dapphub/dapptools

  Dapp, Seth, Hevm, and more

  Language:Haskell2.1k324

• ndwarshuis/org-ml

  A functional library for org-mode

  Language:Emacs Lisp36320

• yairm210/Unciv

  Open-source Android/Desktop remake of Civ V

  Language:Kotlin8.3k1.6k

• graninas/software-design-in-haskell

  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

  Language:Haskell1.1k66

• radian-software/straight.el

  🍀 Next-generation, purely functional package manager for the Emacs hacker.

  Language:Emacs Lisp2.7k150

• evcxr/evcxr

  Language:Rust5.5k217

• hyperium/tonic

  A native gRPC client & server implementation with async/await support.

  Language:Rust9.7k992

• saurabhkukade/Haskell_Study

  Collections of papers and books about Haskell, Type Theory and Category Theory

  1649

• python-poetry/poetry

  Python packaging and dependency management made easy

  Language:Python31.1k2.3k

• suned/pfun

  Functional, composable, asynchronous, type-safe Python.

  Language:Python14913

• kubernetes-el/kubernetes-el

  Manage Kubernetes clusters with Emacs.

  Language:Emacs Lisp62461

• alphapapa/org-ql

  A searching tool for Org-mode, including custom query languages, commands, saved searches and agenda-like views, etc.

  Language:Emacs Lisp1.4k110

• rocky/elisp-decompile

  Emacs Lisp Decompiler

  Language:Python294

• norvig/paip-lisp

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

  Language:Common Lisp7.1k700

• vapniks/syslog-mode

  Emacs major-mode for viewing log files & strace output

  Language:Emacs Lisp2810

• jacktasia/dumb-jump

  an Emacs "jump to definition" package for 50+ languages

  Language:Emacs Lisp1.6k149

• ixy-languages/ixy-languages

  A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

  Language:TeX2.1k55

• CodyReichert/awesome-cl

  A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.

  Language:Makefile2.6k189

• ttm/mass

  MASS (Music and Audio in Sample Sequences) is a mathematical and computational framework relating musical elements to PCM audio samples

  Language:Python202

• falcosecurity/falco

  Cloud Native Runtime Security

  Language:C++7.3k893

• iovisor/bcc

  BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

  Language:C20.3k3.8k

• kubernetes/kubernetes

  Production-Grade Container Scheduling and Management

  Language:Go110k39.3k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust96.9k12.5k

• python/peps

  Python Enhancement Proposals

  Language:reStructuredText4.4k1.5k

• python/cpython

  The Python programming language

  Language:Python62.4k29.9k

• torvalds/linux

  Linux kernel source tree

  Language:C179k53.3k

• remacs/remacs

  Rust :heart: Emacs

  Language:Emacs Lisp4.6k308

• dropbox/goebpf

  Library to work with eBPF programs from Go

  Language:Go1.1k86

• mit-pdos/RVirt

  RISC-V hypervisor written in Rust

  Language:Rust34432

• lorin/resilience-engineering

  Resilience engineering papers

  2.9k146