123
Eve

Eve

Eve je programski jezik in IDE, ki se osredotoča na človeškega programerja in ne na stroj.
Eve je programski jezik in IDE, ki se osredotoča na človeškega programerja in ne na stroj.Uporablja edinstven dokumentski pristop, kjer programi izgledajo kot dokumenti z vdelano kodo.Programer namesto komentarjev opisuje kodo s strukturiranim besedilom, ki mu je veliko lažje slediti.OBVESTILNE ZNAČILNOSTI - Program je baza podatkov, zato ni nobenega vodovodnega ali impedančnega neskladja in dodatna infrastruktura ni potrebna.- Semantika, zasnovana za sočasnost, asinhronost in distribucijo.Brez obljub, sinhronizacije niti ali zadolževanja.- Programi Eve izvajajo pismeno programiranje, saj jezik ne naključno naroči.- Programi rastejo organsko skozi sestavo.- Programi so naravno majhni.- Korektnost je mogoče določiti po vsem svetu z omejitvami integritete, ki ljudem omogoča varno prispevanje k aplikaciji, ne da bi skrbeli za preverjanje vseh možnih invariant lokalno ....

Kategorije

Alternativa Eveu za vse platforme s katero koli licenco

Light Table

Light Table

Light Table je nova interaktivna IDE, ki vam omogoča spreminjanje tekočih programov in vdelavo česar koli od spletnih mest do iger.
Projucer

Projucer

Projucer je izčrpno orodje za upravljanje projektov in urejanje kode z revolucionarnim C ++ živim kodirnim okoljem, ki ima popolno podporo C ++ 11.
Kajero

Kajero

Interaktivni prenosni računalniki JavaScript - ustvarite dobro videti, odzivne in interaktivne dokumente.
Bl.ocks

Bl.ocks

Bl.ocks (izgovarja "Blocks") je preprost pregledovalnik za izmenjavo primerov kode, ki jih gostite na GitHub Gistu.Če je na primer vaš Gist URL: https://gist.github.com/mbostock/1353700
  • Brezplačna
  • Web
Notebook Viewer Jupyter Notebooks

Notebook Viewer Jupyter Notebooks

nbviewer ponuja enostaven način skupne rabe prenosnikov Jupyter.Preprosto vnesite lokacijo prenosnega računalnika in jo takoj sprostite v spletu.
  • Brezplačna
  • Web
Observable HQ

Observable HQ

Primeri / objave interaktivnih kod.
  • Brezplačna
  • Web
Data-Forge Notebook

Data-Forge Notebook

Orodje za izdelavo prototipov v obliki prenosnika, orodje za raziskovanje, analizo in vizualizacijo namizja.