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
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.
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.
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
Hackers' Guide to Language Models
Foundations of proof systems
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
PaL: Program-Aided Language Models
The book "Performance Analysis and Tuning on Modern CPU"
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
Programming languages genealogical tree
Pedagogical first-order prover in Python
A powerful and open-source toolkit for hackers and security automation - ๅฎๅ จ่กไธไปไธ่ ่ช็ ๅผๆบๆซๆๅจๅ่พ
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.