vejmin Goto Github PK

magit

It's Magit! A Git Porcelain inside Emacs.

math

The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic modeling, linear algebra, and equation solving.

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mathjax

Beautiful and accessible math in all browsers

mathlib

Lean mathematical components library

matlab-deep-learning

Source code for 'MATLAB Deep Learning' by Phil Kim

matlab-guide-3ed

Program files from MATLAB Guide, Third Edition

matlab2tikz

This program converts MATLAB®/Octave figures to TikZ/pgfplots figures for smooth integration into LaTeX.

matplotlib

matplotlib: plotting with Python

mcmc-denoising

Bayesian image denoising in C++ and Python

melpa

Recipes and build machinery for the biggest Emacs package repo

metric-learn

Metric learning algorithms in Python

micropython

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

minijvm

Develop iOS Android app in java, Cross platform java virtual machine , the minimal jvm .

mirage

MirageOS is a library operating system that constructs unikernels

mlday-tokyo

Colabs for ML Day Tokyo

mojo

The Mojo Programming Language

monad-gen

a monad for fresh values

ms-dos

The original sources of MS-DOS 1.25 and 2.0, for reference purposes

nemo

NeMo: a toolkit for conversational AI

network-analysis-made-simple

An introduction to network analysis and applied graph theory using Python and NetworkX

neuralnet-ocaml

Simple neural network implementation in OCaml

neurips_llm_efficiency_challenge

NeurIPS Large Language Model Efficiency Challenge: 1 LLM + 1GPU + 1Day

nixpkgs

Nix Packages collection

nn

nn-decoding

Brain decoding/encoding with neural network language models

nn_plus_gzip

Gzip and nearest neighbors for text classification

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

nogil

Multithreaded Python without the GIL