hollisticgit Goto Github PK

l4re-microkernel

The development version of the L4Re Microkernel

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

langchain-chatbot

GPT4 & LangChain Chatbot for large PDF docs

lean

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

lecture-python-advanced.myst

Advanced Quantitative Economics with Python

leethub

Collection of LeetCode questions to ace the coding interview! - Created using LeetHub

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

librechat

Enhanced ChatGPT Clone: Features OpenAI, GPT-4 Vision, Bing, Anthropic, OpenRouter, PaLM 2, AI model switching, message search, langchain, DALL-E-3, ChatGPT Plugins, OpenAI Functions, Secure Multi-User System, Presets, completely open-source for self-hosting. More features in development

linux-insides

A little bit about a linux kernel

magic-trace

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

mathjon_finmarketpy

Python library for backtesting trading strategies & analyzing financial markets (formerly pythalesians)

mathjon_jesse-trades-info

It helps parse Jesse's JSON backtest files with trades and shows in a convenient way with tables and charts.

mathjon_trading-with-python

Code that is (re)usable in in daily tasks involving development of quantitative trading strategies.

mdwiki

CMS/Wiki system using Javascript for 100% client side single page application using Markdown.

mediumarticle_interactivechatgptsessionsinjupyternotebook

Source code to the related article on medium.com about running interactive ChatGPT sessions in your Jupyter Notebook

mirage

MirageOS is a library operating system that constructs unikernels

molten-nvim

A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more

morphir

A universal language for business and technology

morphir-dotnet

my-arch-setup

A repo that explain how to install Arch Linux featuring encryption, Secure Boot, btrfs and AppArmor.

myarchwsl

ArchLinux based WSL Distribution. Supports multiple install.

mylite

A lightweight text editor written in Lua

myos

Vanadium OS

nbdoc

Generate beautiful, testable documentation with Jupyter Notebooks

neurite

Neurite: Fractal Second Brain

neuromorphic-computing-guide

Learn about the Neumorphic engineering process of creating large-scale integration (VLSI) systems containing electronic analog circuits to mimic neuro-biological architectures.

nixops

NixOps is a tool for deploying to NixOS machines in a network or cloud.

npiperelay

npiperelay allows you to access Windows named pipes from WSL

ocaml_intrinsics

Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on other targets.