oojahooo

oojahooo's Stars

• MPLLang/mpl

  The MaPLe compiler for efficient and scalable parallel functional programming

  Language:Standard ML35320

• prosyslab/sigpl23-tutorial

  Language:Jupyter Notebook93

• PrAbsInt/appendix

  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited authors, as well as a corrigendum

  Language:TeX411

• hongseok-yang/graduatePL23

  192

• kupl/erc-group2-framework

  Language:Python11

• DKXXXL/FPOP

  Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

  Language:Coq52

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust66521

• SMLFamily/The-Definition-of-Standard-ML

  The Definition of Standard ML (1990)

  Language:TeX12411

• hongseok-yang/probprog20

  Language:Clojure359

• gpt-engineer-org/gpt-engineer

  Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

  Language:Python52.7k6.8k

• romannurik/SlidesCodeHighlighter

  A little web app that helps you copy+paste syntax-highlighted code into slide decks.

  Language:TypeScript1.1k96

• prosyslab/DAFL

  american fuzzy lop - a security-oriented fuzzer

  Language:C102

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C441130

• coq/vscoq

  Visual Studio Code extension for Coq

  Language:OCaml34972

• math-comp/math-comp

  Mathematical Components

  Language:Coq593117

• kupl-courses/COSE312-2023spring

  COSE 312 Compilers

  Language:OCaml3614

• emscripten-core/emscripten

  Emscripten: An LLVM-to-WebAssembly Compiler

  Language:C++26k3.3k

• VSCodeVim/Vim

  :star: Vim for Visual Studio Code

  Language:TypeScript14.1k1.3k

• vscode-neovim/vscode-neovim

  Vim mode for VSCode, powered by Neovim

  Language:TypeScript6.4k222

• Hhro/server-manager

  Language:Python11

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

  Language:Shell175k25.9k

• WebAssembly/spec

  WebAssembly specification, reference interpreter, and test suite.

  Language:WebAssembly3.2k454

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML633143

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust28.1k1.7k

• oojahooo/workspace-setup

  My vim-setup (init.vim, plugin, etc.)

  Language:Vim Script6

• Zeta611/DeTeXtive

  Language:TeX51

• kwangkeun/cse-terms-in-korean

  쉬운 전문용어 모음 플랫폼

  Language:TeX81

• program-repair-project/bugfixer

  Language:TypeScript108

• microsoft/prose

  Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

  Language:C#62099

• byeongjee/heuristic-narrowing-search

  The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search

  Language:Shell6