YoshikiTakashima

Yoshiki Takashima's starred repositories

openai-cookbook

Examples and guides for using the OpenAI API

Language:MDXMIT57167 856 396

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookMIT17945 116 482

CodeGen

CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.

Language:PythonApache-2.04815 79 74

examples

Use case-driven examples for using Puppeteer and headless chrome

Language:JavaScriptApache-2.02341 84 23

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

Language:HTMLApache-2.01605 44 433

codealpaca

Language:PythonApache-2.01384 21 19

amazon-ssm-agent

An agent to enable remote management of your EC2 instances, on-premises servers, or virtual machines (VMs).

Language:GoApache-2.01030 100 478

JWebAssembly

Java bytecode to WebAssembly compiler

Language:JavaApache-2.0967 50 53

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlMIT620 31 9

dreal4

Automated Reasoning in Nonlinear Theories of Reals

Language:SMTApache-2.0146 13 238

cvdl

CV Description Language

Language:RustMIT63 6 6

cargo-callgraph

Callgraph generation for rust project

Language:RustNOASSERTION55 3 5

taintflow

TaintFlow, a framework for JavaScript dynamic information flow analysis.

Language:TypeScriptMIT16 6 31

russol-alpha

A tool for synthesis of Rust code, very early prototype

Language:RustMPL-2.011 1 1

mariposa

Language:SMTMIT9 6 4

verus-mode.el

Support for Verus programming in Emacs

Language:Emacs LispBSD-3-Clause4 2 8

kaniTest

test repository for testing Kani/Rust

Language:Rust1 10