Native American Indian Art, Culture, Education, History Science -- Gateway

http://www.kstrom.net/isk/

a lot of equipment and software that has to be replaced is very hard. Help like this is really appreciated. It is so unusual I hardly know what to say except migwetch in every lan
300+ web pages of Native American resource materials, original publications and organized links. Reservation

Stars in Science Fiction - 3-D Starmaps

https://www.projectrho.com/public_html/starmaps/scifistars.php

Star Catalogues Software Suggested Reading Misc Links Map Index Atomic Rockets notices Welcome to the improved 3-D Starmaps! 3-D Starmaps utilities 3-D Starmaps search 3-D Starmap

XCELA

http://xcela.org/

Related Projekts: Software New Learning: Augmented Exocortex MEMRET: Spaced Repetition. Advanced memory retention using SM4 Algorithm. Nodal-flashcard based lifelong learning. IR:
XCELA is believes in:(1) Robust frameworks(2) Self-ownership(3) Information Freedom& (4) Radical Computing.

Selected publications

http://pracownicy.uwm.edu.pl/d.kaczmarczyk/selected_publications.htm

D. 2015. Genassemblage software, a tool for management of genetic diversity in human dependent population. Conservation Genetic Resources 7:49-51 https://doi.org/10.1007/s12686-01

Being Analog

https://pages.ucsd.edu/~dnorman/DNMss/Being_Analog.html

in the design of the software system, but even here, the programmer erred in not thinking through all of the myriad possible sequences of operation, something not easy to do. Ther

Jean-Christophe Filliâtre's home page

https://usr.lmf.cnrs.fr/~jcf/index.en.html

programs: Why3 , a software verification tool; don't miss our gallery of verified programs Mlpost , an OCaml interface to MetaPost OCamlGraph , a graph library for OCaml bibtex2ht

Russel Arbore's Website

https://russelarbore.com/

techniques for both software and hardware. My background spans compiler design, programming languages, architecture (both design and how to design), graphics, and systems. I gradu
Russel Arbore's personal website.

Financial Cryptography

http://financialcryptography.com/

and Concurrency Control Software Engineering, Rights Philipp Gühring Concepts against Man-in-the-Browser Attacks Software Engineering Risk (Security) Threats Ian Grigg The Market

Adam Sampson

http://offog.org/

Sections Code : free software that I've written. Music : my main hobby these days. Tech Notes : occasional notes on technical matters. Publications : my academic work. Recipes : t

Alternative Operating System: Haiku OS | draft0 - a shared blog by just some people</t

https://draft0.de/entries/Haiku_OS.html

(24) Software (53) Languages used: en (257) Topics: Software → Alternative Operating Systems (18) edit This entry is referencing the entry 'Alternative Operati

McTiny:Intro

http://mctiny.org/

servers Intro Protocol Software Papers Talks Recent results have shown that some post-quantum cryptographic systems have encryption and decryption performance comparable to fast e

Frank Pfenning

http://www.cs.cmu.edu/~fp/

Software Foundations  15-316 [Fa24] Substructural Logics  15-836 [Fa23] Constructive Logic  15-317 [Sp23] Par. & Seq.&nb
Frank Pfenning Personal Home Page

Find more...