orlin + languages   41

Smart Contract Languages Development to Follow – Comae Technologies
@rv_inc and @InputOutputHK teamed up to design, develop and deploy IELE, a new virtual machine for the blockchain. IELE is an LLVM-style VM designed as a formal specification in K. whose implementation is generated automatically, correct by construction. https://t.co/UBEYG2P3oq
crypto  blockchain  smartcontracts  programming  languages 
february 2018 by orlin
JavaScript Flavors
A short survey about current popular JavaScript technologies.
javascript  programming  languages  2016  survey 
april 2017 by orlin
Parsing with Derivatives - YouTube
(February 9, 2011) Matthew Might focuses on a new way to write parsers and how it will affect computer science in the future. Might discusses these parsers a...
parsing  video  programming  computer  science  cs  languages  parser 
september 2015 by orlin
Why Ruby is an acceptable LISP | Random Hacks
Random code snippets, projects and musings about software from Eric Kidd, a developer and entrepreneur.
ruby  lisp  compare  programming  languages  opinion 
july 2015 by orlin
jquery/globalize
globalize - A JavaScript library for internationalization and localization that leverage the official Unicode CLDR JSON data
nodejs  i18n  localization  languages  internationalization 
november 2014 by orlin
purescript/purescript
purescript - A small strongly, statically typed language which compiles to Javascript
javascript  haskell  programming  languages  experiment  jsalt  compiler 
june 2014 by orlin

Copy this bookmark:



description:


tags: