hollisticgit Goto Github PK
Type: User
Type: User
The development version of the L4Re Microkernel
Proof assistant based on the λΠ-calculus modulo rewriting
GPT4 & LangChain Chatbot for large PDF docs
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
Exercises and projects for Jane Street's OCaml Workshop
Advanced Quantitative Economics with Python
Collection of LeetCode questions to ace the coding interview! - Created using LeetHub
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
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
A little bit about a linux kernel
magic-trace collects and displays high-resolution traces of what a process is doing
Python library for backtesting trading strategies & analyzing financial markets (formerly pythalesians)
It helps parse Jesse's JSON backtest files with trades and shows in a convenient way with tables and charts.
Code that is (re)usable in in daily tasks involving development of quantitative trading strategies.
CMS/Wiki system using Javascript for 100% client side single page application using Markdown.
Source code to the related article on medium.com about running interactive ChatGPT sessions in your Jupyter Notebook
MirageOS is a library operating system that constructs unikernels
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
A universal language for business and technology
A repo that explain how to install Arch Linux featuring encryption, Secure Boot, btrfs and AppArmor.
ArchLinux based WSL Distribution. Supports multiple install.
A lightweight text editor written in Lua
Vanadium OS
Generate beautiful, testable documentation with Jupyter Notebooks
Neurite: Fractal Second Brain
Learn about the Neumorphic engineering process of creating large-scale integration (VLSI) systems containing electronic analog circuits to mimic neuro-biological architectures.
NixOps is a tool for deploying to NixOS machines in a network or cloud.
npiperelay allows you to access Windows named pipes from WSL
Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on other targets.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.