unshorn-forks Goto Github PK
Type: Organization
Type: Organization
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
Automated Bayesian model discovery for time series data
A collection of awesome .NET libraries, tools, frameworks and software
Cybersecurity oriented awesome list
A curated list of awesome Machine Learning frameworks, libraries and software.
The Brown Benchmark for Table Types (B2T2)
An add-on package for R primarily aimed at improving access to R for blind users. The package contains tools and functions that will help get a student through their first year statistics course, and probably well beyond it.
Influential computer science papers
A categorized list of C++ resources.
Gives criticality score for an open source project
The Leek group guide to data sharing
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
A book about compiling Racket and Python to x86-64 assembly
FauxPilot - an open-source GitHub Copilot server
18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
Binary Golf Examples and Resources
Solve puzzles. Learn CUDA.
ETH Guarantees for Machine Learning
Logic-less and semantic Mustache templates with Java
🐬 A simplified implementation of TypeScript's type system written in TypeScript's own type system
This page contains Python codes for the chapters appearing in all 3 volumes of the work "Sayed, Ali. H., Inference and Learning from Data, vols. 1-3, Cambridge University Press, 2022". Matlab codes are also available. For additional information, visit the authors website.
Kodkod solver for relational logic
ChatGPT plugin for theorem proving in Lean
LLM101n: Let's build a Storyteller
Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step
Hackers' Guide to Language Models
Foundations of proof systems
Classical equations and diagrams in machine learning
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
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.