-
atJIT
autotuning C++, just-in-time!
C++ ★ 53 6y agoExplain → -
llvm-statepoint-utils
Runtime support for LLVM's GC Statepoints
C ★ 42 6y agoExplain → -
sml-language-server
an SML language server that uses SML/NJ's "visible compiler" feature
Standard ML ★ 24 8y agoExplain → -
yaml-ast
visualize an AST serialized as YAML
Python ★ 13 3y agoExplain → -
autotune
discover good LLVM passes
Python ★ 8 8y agoExplain → -
NetNewsWire ⑂
RSS reader for macOS and iOS.
Swift ★ 5 5y agoExplain → -
ghc-llvm
improvements to llvm to support functional-language compilers, e.g., ghc
LLVM ★ 4 8y agoExplain → -
reduck
interactive tool for the untyped λ-calculus
Standard ML ★ 2 11y agoExplain → -
better-language-sml
Standard ML language support for the working programmer
★ 2 7y agoExplain → -
swift ⑂
The Swift Programming Language
Swift ★ 1 3d agoExplain → -
ghc ⑂
LLVM Backend improvements for GHC.
Haskell ★ 1 8y agoExplain → -
swift-org-website ⑂
Swift.org website
★ 0 4mo agoExplain → -
swift-source-compat-suite ⑂
The infrastructure and project index comprising the Swift source compatibility suite.
Python ★ 0 7mo agoExplain → -
swift-docc ⑂
Documentation compiler that produces rich API reference documentation and interactive tutorials for your Swift framework or package.
★ 0 8mo agoExplain → -
swift-corelibs-foundation ⑂
The Foundation Project, providing core utilities, internationalization, and OS independence
★ 0 5y agoExplain → -
swift-book ⑂
The Swift Programming Language book
★ 0 3y agoExplain → -
llvm-project ⑂
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Apple’s stable releases of Clang as well as support the Swift project.
★ 0 2y agoExplain → -
swift-driver ⑂
Swift compiler driver reimplementation in Swift
★ 0 1y agoExplain → -
swift-package-manager ⑂
The Package Manager for the Swift Programming Language
★ 0 3y agoExplain → -
swift-syntax ⑂
SwiftPM package for SwiftSyntax library.
Swift ★ 0 2y agoExplain → -
swift-evolution ⑂
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
Markdown ★ 0 5mo agoExplain → -
hugo-academic ⑂
The website designer for Hugo. Build and deploy a beautiful website in minutes :rocket:
HTML ★ 0 8y agoExplain → -
kavon.github.com
Website
HTML ★ 0 5y agoExplain → -
predictive-text
autocomplete learning system
Python ★ 0 10y agoExplain → -
SALSA
(not mine) archive of the SALSA Pool paper + code from SPAA'12
TeX ★ 0 10y agoExplain → -
RSCore ⑂
Utility code for Mac and iOS apps.
★ 0 5y agoExplain → -
stack-rfc
an in-progress LLVM proposal
TeX ★ 0 7y agoExplain → -
filesystem
A simple filesystem proof of concept.
C ★ 0 12y agoExplain → -
myth ⑂
Type-and-example-driven program synthesis for functional programming languages
OCaml ★ 0 10y agoExplain → -
ghc-tuner
No description.
Python ★ 0 8y agoExplain → -
hadrian ⑂
Hadrian: a new build system for the Glasgow Haskell Compiler
Haskell ★ 0 8y agoExplain → -
redzone
for those paranoid that the kernel clobbers userspace
Assembly ★ 0 8y agoExplain → -
vscode-sml
Standard ML support for Visual Studio Code
TypeScript ★ 0 8y agoExplain → -
koka ⑂
Koka language compiler and interpreter
Haskell ★ 0 8y agoExplain → -
refinements-popl-16 ⑂
Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.
F# ★ 0 10y agoExplain → -
ChezScheme ⑂
Chez Scheme
Scheme ★ 0 10y agoExplain → -
controller
A remote sensor controller for iOS
Objective-C ★ 0 12y agoExplain → -
cosis
A password manager
Java ★ 0 11y agoExplain → -
java3d-core ⑂
Fork of the javax.media.j3d package
Java ★ 0 12y agoExplain → -
blockparser ⑂
Fast, quick and dirty bitcoin blockchain parser
C++ ★ 0 12y agoExplain →
No repos match these filters.