Name	Name	Last commit message	Last commit date
Latest commit JonathanAldrich Merge pull request #15 from tmoux/master Jul 31, 2020 a22a871 · Jul 31, 2020 History 1,472 Commits
bytecode	bytecode	Remove let expressions from bytecode	Jun 26, 2018
core-language	core-language	Adding misc. files	Jul 24, 2015
design	design	Fixed bibliography	Jul 29, 2018
dsldi14	dsldi14	reverse DSLDI proposal.	Sep 5, 2014
dsldi16	dsldi16	Minor.	Aug 16, 2016
ecoop14	ecoop14	Adding misc. files	Jul 24, 2015
ecoop15sub	ecoop15sub	New formalism and proofs. See proof2.tex for standalone.	Jun 17, 2015
graphics	graphics	checking in the logo from the Wyvern t-shirt	Aug 11, 2018
guide	guide	updated the guide	Mar 16, 2019
iwaco14	iwaco14	Adding misc. files	Jul 24, 2015
manifesto	manifesto	added a draft Wyvern manifesto outline	Dec 4, 2017
minutes	minutes	updated the VM spec; added a sketch of the datatype design and design…	Feb 2, 2018
nool16	nool16	3 page version for NOOL 2016 web page	Oct 25, 2016
nool17	nool17	added various NOOL stuff (not all successful) as well as some manifes…	Dec 4, 2017
ocap17polyfx	ocap17polyfx	Missing pdf's committed. Were ignored by *.pdf for some reason before.	Jan 12, 2018
plas14	plas14	Some edits.	May 18, 2014
proposals/Facebook	proposals/Facebook	submitted 2019 version	Jul 27, 2019
reflection	reflection	checking in files for the meta paper on reflection in Wyvern	Sep 2, 2016
sac15	sac15	SAC15 final version	Jul 13, 2015
sac15sub	sac15sub	New formalism and proofs. See proof2.tex for standalone.	Jun 17, 2015
spec	spec	Adding a concept-based spec of Wyvern's lexical analyzer	Jun 19, 2020
tooldoc	tooldoc	Updated Java version in the build instructions	May 3, 2019
type_members	type_members	Merge branch 'master' of https://github.com/wyvernlang/docs	Mar 2, 2019
typeinference	typeinference	New formalism and proofs. See proof2.tex for standalone.	Jun 17, 2015
vm	vm	upd vm spec	Jul 30, 2020
.gitignore	.gitignore	.gitignore update	Oct 28, 2018
README.md	README.md	Initial commit	Jul 18, 2013
architectural-control-applications.txt	architectural-control-applications.txt	added a note connecting to static analysis work by Google	Sep 18, 2015
background-reading.txt	background-reading.txt	removed a duplicate URL	Jan 16, 2016
ecoop14.zip	ecoop14.zip	Update	Sep 6, 2014
new-person-projects.txt	new-person-projects.txt	Adding misc. files	Jul 24, 2015
wyvern-paper-plans.txt	wyvern-paper-plans.txt	Adding misc. files	Jul 24, 2015

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

docs

About

Releases

Packages

Contributors 10

Languages

wyvernlang/docs

Folders and files

Latest commit

History

Repository files navigation

docs

About

Resources

Stars

Watchers

Forks

Releases

Packages 0

Contributors 10

Languages

Packages