CodeAlchemist

CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)

MIT License

Stars
237
View Code on GitHub
Ecosystems: F#

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
8
Time to Close Issues
N/A
5 days
Related Projects
FSharp.Stats

statistical testing, linear algebra, machine learning, fitting and signal processing in F#

13 Dec 2016 203
fasmi

F# -> ASM disassembler

09 May 2021 183
F-Sharp

All Algorithms implemented in F#

10 Oct 2020 203
fsharp-cheatsheet

An updated cheat sheet for F# 🔷🦔💙💛🤍💚

15 Oct 2021 216
riscv-fs

F# RISC-V Instruction Set formal specification

28 Aug 2019 280
Fable

F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

11 Jan 2016 2,811
B2R2

B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.

01 Feb 2019 417
ionide-vscode-fsharp

VS Code plugin for F# development

18 Nov 2015 841
FSharpLint

Lint tool for F#

13 Jan 2014 297
emacs-fsharp-mode

F# Emacs mode

12 May 2015 208
Fornax

Scriptable static site generator using type safe F# DSL to define page templates.

03 Jul 2018 244
fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

10 Jan 2015 3,755
MiniScaffold

F# Template for creating and publishing libraries targeting .NET 6.0 `net6.0` or console apps .N...

24 Mar 2017 267
dna-redux

Running C#/F# code in Node.js or Browser with WebAssembly

22 Jun 2017 90
FsAutoComplete

F# language server using Language Server Protocol

12 May 2015 400