Z303 + programming   1268

Scratchapixel
Learn Computer Graphics From Scratch!
tutorial  graphics  3d  programming 
4 hours ago by Z303
A List of companies that use Formal methods in Software engineering
A gently curated list of companies using verification formal methods in industry
formalmethods  software  programming  testing 
3 days ago by Z303
Every Programmer Should Know
A collection of (mostly) technical things every software developer should know
programming  learning 
4 days ago by Z303
The Arcane Algorithm Archive
is a collaborative effort to create a guide for all important algorithms in all languages.
archive  algorithms  programming 
8 days ago by Z303
PyTorch
An open source deep learning platform that provides a seamless path from research prototyping to production deployment.
ai  library  python  opensource  programming 
14 days ago by Z303
Wave Function Collapse
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics.
procedural  programming  art 
28 days ago by Z303
Book Of AI
is a content aggregator that enriches the Artificial Intelligence community by making complex information accessible for the busy readers and the uninitiated.
ai  resources  learning  blogs  programming 
4 weeks ago by Z303
Battlecode
is a unique challenge that combines battle strategy, software engineering and artificial intelligence.
competition  programming  ai 
4 weeks ago by Z303
Storm
is a tool for the analysis of systems involving random or probabilistic phenomena. Given an input model and a quantitative specification, it can determine whether the input model conforms to the specification. It has been designed with performance and modularity in mind.
formalmethods  tools  programming 
5 weeks ago by Z303
Spatial
A high-level language for programming accelerators
fpga  programming  hardware 
5 weeks ago by Z303
Video Game Preservation
An archive of commercial video game source code.
programming  games  history 
9 weeks ago by Z303
SqrMelon
A tool for keyframe animation & fragment shader management for 64k executables.
tools  demoscene  programming 
11 weeks ago by Z303
Modern C++ for C Programmers: Part 3
Inheritance, polymorphism and templates
learning  c++  programming  c 
august 2018 by Z303
Atari ST source code repository
A large repository of Atari ST (and family) source code
atari  st  demoscene  programming  source 
june 2018 by Z303
Gitcoin
is the easiest way to leverage the open source community
to incentivize or monetize work.
funding  development  opensource  programming  blockchain  github 
june 2018 by Z303
FizzBuzz Enterprise Edition
is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.
humor  funny  programming 
june 2018 by Z303
Hypothesis
is a new generation of tools for automating your testing process. It combines human understanding of your problem domain with machine intelligence to improve the quality of your testing process while spending less time writing tests.
python  testing  programming 
may 2018 by Z303
Software Foundations
is a broad introduction to the mathematical underpinnings of reliable software.
algorithms  books  programming  coq  maths 
april 2018 by Z303
Godot Engine
Free and open source 2D and 3D game engine
development  gamedev  game  programming 
march 2018 by Z303
The Programming Journal
The Art, Science, and Engineering of Programming aims at closing this gap by focusing primarily on programming: the art itself (programming styles, pearls, models, languages), the emerging science of understanding what works and what doesn’t work in general and in specific contexts, as well as more established engineering and mathematical perspectives.
programming  journal 
march 2018 by Z303
Kotlin Programming Language
Statically typed programming language for modern multiplatform applications
java  programming  Kotlin  android 
march 2018 by Z303
QuantLib
a free/open-source library for quantitative finance
finance  c++  programming  quant  trading 
february 2018 by Z303
InterviewBit
Coding Interview Questions
interview  jobs  career  programming 
february 2018 by Z303
Unicorn
is a lightweight multi-platform, multi-architecture CPU emulator framework.
cpu  arm  emulator  x86  programming  mips  sparc  68000 
january 2018 by Z303
dapp.tools
Command-line-friendly tools for blockchain development
code  development  programming  blockchain  evm  ethereum 
january 2018 by Z303
Isabelle
is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
mathematics  programming  formalmethods 
december 2017 by Z303
Object-Oriented Reengineering Patterns
collects and distils successful techniques in planning a re-engineering project, reverse-engineering, problem detection, migration strategies and software redesign.
design  book  programming  oop 
december 2017 by Z303
What's an Entity System?
Component/Entity Systems are an architectural pattern used mostly in game development. A CES follows the Composition over Inheritance principle to allow for greater flexibility when defining entities (anything that's part of a game's scene: enemies, doors, bullets) by building out of individual parts that can be mixed-and-matched.
design  game  programming 
december 2017 by Z303
« earlier      
per page:    204080120160

related tags

1-wire  1k  1wire  2d  2dboy  3d  3g  4k  37signals  64k  68k  80s  a+  academic  accessibility  accounting  activism  activities  administration  advertising  advice  Advocacy  AFewGoodMen  aggregation  aggregator  agile  agiledevelopment  ai  aiml  ajax  algebra  algorithm  algorithms  alice  Amateur  amazon  amiga  analysis  analytics  android  animation  anonymity  Anti-Patterns  antialiasing  antipatterns  aop  Apache  api  apis  apple  appleseed  applications  ar  architecture  architecure  archive  arduino  arithmetic  arkanoid  arm  art  article  ascii  askmefi  askslashdot  AspectOrientedProgramming  assembler  assembly  asterisk  Asynchronous  atari  atmega  atmel  atmosphere  atom  audio  augmentedreality  authentication  automation  autonomous  avatar  avr  b2b  backup  badsmells  barcode  bash  basic  battery  Bayesian  bazaar  bbc  bbcmicro  beauty  behaviour  bespin  bestpractice  bestpractices  bibliography  bigdata  binaryinterfaces  biology  bittorrent  blackberry  blender  bloat  blockchain  blog  blogging  blogs  board  boids  book  bookmarks  books  bookshelf  bot  breakout  Brogrammer  browser  bsd  bsp  buglabs  bugs  bugtracking  build  building  business  BusinessModel  c  c#  c++  c64  ca  cache  caching  CAGE  Calculus  calendar  calhenderson  CallGraph  canvas  career  cartoon  cash  cats  cbe  cell  Cello  cellularautomata  cg  cgi  chart  chatbots  cheatsheet  cheatsheets  checklist  chemistry  children  chiptunes  ci  cinder  cities  city  clang  class  classes  classic  classical  Classification  cli  client  clipmap  clojure  clouds  cluster  clustering  clusters  clutter  cms  coc  code  codecs  codegeneration  codereview  codereviews  codesmell  codeswarm  coding  CoffeeScript  collaboration  collision  CollisionDetection  comics  Commodore  communication  communications  community  companies  company  comparison  competition  compiler  compilers  components  compression  Computational  computer  computergrahpics  computergraphics  computers  computerscience  computervision  computer_science  computing  concurrency  conference  configuration  console  consoles  consultant  consulting  Continuous  contractor  contracts  control  conventions  conversion  cookbook  cookies  cool  copyright  coq  corewars  coroutines  Corporate  cost  course  courses  courseware  cpp  cpu  cracking  creative  creativecommons  creativeflow  creativity  cross-platform  crowdfunding  cryengine  crypto  cryptography  Crytek  css  ctf  cubicle  cuda  cudpp  culture  curl  currency  cute  cv  cvs  cyberculture  dag  data  database  databases  datamining  datascience  datastructures  datavisualization  ddd  debian  debug  debugger  debugging  decentralized  deferred  del.icio.us  demo  demoparties  demoparty  demos  demoscene  dependenttypes  deployment  depression  design  designers  designpatterns  desktop  detection  develoment  developer  developers  development  dhtml  diagram  dictionary  dijkstra  direct3d  directory  directx  discipline  discussion  distancelearning  distributed  diy  diymasters  django  djangocon  dlna  dns  documentaries  documentary  documentation  dogear-nation  dom  doom  download  dragonbook  drivers  ds  DSL  dslinux  dsp  DuckTyping  dvcs  dxt  ebook  ebooks  ecommerce  economics  economy  editor  edsgerdijkstra  education  eeepc  effect  effects  ego  eiffel  electronics  elf  email  embedded  embeddedsystems  emilia  employees  employment  emulation  emulator  emulators  encoder  encoding  encryption  engine  engineering  entitysystems  Entrepreneur  entrepreneurship  environment  erc20  erc721  erlang  ethereum  ethernet  ethics  eurographics  europe  evangelist  events  evm  example  executable  exercise  exokernel  experimental  exploit  extensions  Extreme  f#  facebook  faq  fat  fat32  favicon  feedback  feeds  feminism  festival  fft  filesystem  filesystems  film  filtering  finance  fire  firebug  firefox  fireunit  firewalls  firmware  fix  fixedpoint  flash  flickr  floatingpoint  flocking  FluidDynamics  fluids  folksonomy  font  formalmethods  formats  formatting  forms  forum  forums  foss  fourier  fp  fpga  fps  fractal  fractals  frameless  framework  frameworks  freebsd  freedom  freeduino  freelance  freelancing  freeware  fritzing  fsf  fsm  fun  functional  functionallanguages  FunctionalProgramming  functional_programming  funding  funny  future  gadgets  game  gamedesign  gamedev  Gameduino  gameengines  gameindustry  gamequery  games  gaming  gaussian  gaussianprocesses  gba  gcc  gdb  gdc  gdc08  geek  geeks  gender  generation  generative  generator  genesis  geocoding  geography  geometry  geotagging  german  gigs  gimp  gis  git  github  gits  glee  GlobalIllumination  glow  glsl  glut  gmaps  gnome  gnu  go  goals  goap  golang  googel  google  googleearth  googleio  googlemaps  googletechtalk  goosh  GP2X  gpe  gpgpu  gpl  gprof  gps  gpu  gpugems  grammar  graph  graphics  graphs  gravity  grid  group  gstreamer  gta  gtd  gtk  gttk  gui  guide  guidelines  guides  gupnp  h264  h265  habits  hacker  hackernews  hackers  hacking  hacks  handbook  handheld  hardware  hashing  haskell  hci  hdl  hdr  heightfield  help  hft  hiring  history  hl2  hlsl  homeautomation  homebrew  horde3d  hosting  howto  html  html5  http  humor  humour  hunour  ia32  id  ide  ideas  identity  idioms  Idris  idsoftware  IEEE-754  im  image  imageprocessing  imagerecognition  images  image_processing  imaging  indie  industry  Information  infosec  infrastructure  inheritance  innovation  inspiration  Integration  intel  interaction  interactive  interesting  interface  interfaces  internals  internet  Interpreter  interview  intros  ios  iphone  ipod  iptv  irc  isv  it  J2ME  jabber  java  javascript  jave  job  jobs  joelonsoftware  joke  jokes  journal  journals  jparallax  jpeg  jquery  js  js1k  jslint  jspec  jsunit  julia  JuliaSets  kanban  kata  kdtrees  kernel  kids  Kinect  Knowledge  Kotlin  ladyada  language  languages  laptops  Larrabee  lavalamps  layout  leadership  lean  learn  learning  lecture  lectures  legacycode  lego  libc  libcpu  libraries  library  life  lifehacks  light  lighting  linguistics  links  lint  linux  lips  lisp  list  lists  Livejournal  llvm  lockfreecode  lod  logging  logic  loki  lolcats  lowlevel  lowpower  lsystems  lua  luxrender  machinelearning  machinevision  maemo  magazine  mailinglist  make  malloc  management  manifesto  manipulation  manycore  map  mapping  mapreduce  maps  marchingcubes  mario  marketing  Marketplace  markup  mashup  mashups  masteringajax  math  mathematics  maths  matrix  mba  mbed  Measurement  media  mediaserver  meego  megadrive  megatexture  meme  memory  Mercurial  messaging  metal  metaprogramming  metaverse  methodology  methods  micro-isv  microblogging  microcontroller  microcontrollers  microformats  microisv  microjobs  microprinter  microsoft  milepost  mips  misterhouse  mit  mix  ml  mmo  mmorpg  mng  mobile  mobiles  moblin  mockobjects  modeling  modelling  models  mods  money  monitoring  motionblur  motivation  movies  mozilla  mp3  mpi  mta  multicore  multimedia  multiplayer  multitasking  multithread  multithreading  music  mvc  mysql  MythicalManMonth  n900  nat  navigation  nds  neat  neogeo  neon  nes  netbook  network  networking  networks  neuralnets  neuralnetworks  neuroscience  news  newsletter  nifty  nintendo  nintendods  node.js  noise  nokia  Nostalgia  NULL  numeric  nvidia  oauth  Objective-C  objectoriented  ocaml  ocr  ocs  office  OfficePolitics  ogle  olpc  oo  oop  open2300  openal  opencl  opencourseware  opencv  opengl  opengles  openid  openmicroblogging  openmoko  openmp  opensocial  opensource  opentk  OpenVG  operatingsystem  operatingsystems  operations  optimisation  Optimising  optimization  oreilly  organization  oriented  os  outsourcing  overtime  p2p  packer  PairProgramming  pajamanation  palib  paper  papers  parallax  parallel  parallelism  parallelprocessing  parallelprocesssing  parser  parsing  particle  particles  party  passwords  pathfinding  patterns  pbm  pbr  pbrt  pda  pdf  peerreview  people  performance  perl  perlin  personality  phd  philosophy  phishing  phone  phones  Phonetics  photography  photoshop  php  physicalcomputing  PhysicallyBasedModeling  physics  pipes  pitfalls  pivotalgames  Pixar  pixel  planeshift  planet  planning  plants  platform  play  playfulinterfaces  playstation  plugin  plugins  png  podcast  politics  Polymorphism  pomodoro  Portable  portal  portfolio  postcodes  power  pr  practice  PragmaticProgammers  PragmaticProgrammer  presentation  presentations  pretty  PrinceofPersia  printer  printing  privacy  PrivilegeChecklist  probability  proce55ing  procedural  Proceedural  process  processing  processing.org  processor  procrastination  productivity  Professional  profiling  programmer  programmers  programming  project  projectmanagement  projectmanagment  projects  project_management  protocol  prototyping  proverbs  Proxy  ps2  ps3  psychology  puredata  puzzles  pvm  python  qa  QRcode  quadtrees  quake  quakeds  quality  quant  quaternion  Quaternions  Quiz  r  radio  radiosity  rails  randomnumbers  rant  RaspberryPi  raycasting  raytracer  raytracing  rdf  reading  Recommendations  Recursion  reddit  refactoring  reference  regex  remix  rendering  renderingh  renderings  renderman  rentacoder  reources  reputation  research  resource  resources  rest  Resume  retro  review  reviews  reyes  rmr  roads  robot  robots  roms  router  routers  routing  rpc  rpg  rss  rsx  rsync  rts  ruby  rubyonrails  rules  Russian  rust  salary  samplerateconversion  sanandreas  sandbox  sanguino  satellite  satire  scala  scalability  scaling  scea  scene  scenegraph  scheme  science  scm  scott-meyers  ScottMeyers  scratch  Screencasting  scripting  scripts  scrum  scrummaster  sdk  sdr  search  searchengine  security  sega  self-improvement  selfimprovement  SelfModifyingCode  SemanticWeb  sensors  seo  serie60  server  servers  service  services  sex  shader  shaders  shading  shadowofthecolossus  shadows  sharing  SheevaPlug  shell  shop  siggraph  silly  simd  simulation  sinclair  sip  site  skills  skin  Sky  slashdot  slides  smartcontracts  smarthome  smartphone  smartphones  smoke  social  socialnetwork  socialnetworking  socialsoftware  society  software  SoftwareDevelopment  softwareengineering  softwareenginneering  software_design  Software_Development  software_engineering  solidity  sony  SOTC  sound  source  sourcecode  sourcecontrol  source_control  spacecraft  SpaceShuttle  spam  sparc  sparklines  speccy  specification  Spectrum  speed  sql  squeak  ssd  ssh  st  stackoverflow  staff  standard  standards  stanford  startups  starups  statemachine  staticanalysis  statistics  stats  stl  Stockfighter  stocks  storage  strategy  stream  streamcomputing  streaming  streamprocessing  study  stupid  style  subversion  success  sudoku  supermario  sustainability  svg  svk  svm  svn  swarm  symbian  synesthesia  synthesis  sysadmin  tagcloud  tagging  talk  talks  tape  tdd  teaching  team  teams  tech  TechnicalDebt  techno  technology  telecommuting  Telepathy  telephone  telephony  television  templates  terrain  test  Test-Driven  testing  tests  tetris  texture  textures  Texturing  texutres  theory  thesis  threading  threads  three.js  timemanagement  timestamp  timsweeney  tiny  tip  tips  tokens  TombRaider  tool  toolkit  tools  tooltip  torrent  tortoise  TortoiseSVN  toys  tracker  tracking  trading  training  traits  trends  tricks  trust  tuning  tunnel  tutoiral  tutorial  tutorials  twitter  twittertools  ubuntu  uclibc  ui  uk  umpc  unittest  unittesting  unittests  unity  university  unix  unmaintainablecode  unreal  upnp  urban  url  usability  usb  useful  userexperience  userinterface  utilities  utility  ux  vai:digg  validation  validator  vcs  vector  verilog  versioncontrol  versioning  VGA  vhdl  via::dzone  via:alysonwheel  via:andypiperuk  via:askmefi  via:bathcamp  via:benosteen  via:beyond3d  via:blackbeltjones  via:boingboing  via:BruceSchneier  via:codercorner  via:codinghorror  via:devnulled  via:dfzone  via:digg  via:dmje  via:dotcode  via:downloadsquad  via:dzone  via:eggfoodan  via:emargee  via:engadget  via:epredator  via:erich666  via:figo  via:geeks3d  via:globalnerdy  via:Goulu  via:graphiclunarkid  via:gusset  via:hackaday  via:hackernews  via:hackful  via:helenroper  via:hellraizer  via:indexbuffer  via:infovore  via:itrasbiel  via:jerkah  via:jontheniceguy  via:jukesie  via:jzawodn  via:kgutteridge  via:lee  via:lifehacker  via:lifehacks  via:littlebirdceo  via:littlebirdelectronics  via:make  via:mattb  via:mbatle  via:mefi  via:mefiprojects  via:nborstad  via:pantagruel  via:Preoccupations  via:raytracingnews  via:readwriteweb  via:realtimerendering  via:reddit  via:rooreynolds  via:schneier  via:simon.strandgaard  via:SimonWillison  via:slashdot  via:stefangoodchild  via:sunwukung  via:suzicatherine  via:t1mmyb  via:technovia  via:theinquirer  via:tom_watson  via:tuuli85  via:tylermoody  via:t_pk  via:waxy  via:workhappy  via:worldchanging  via:youpy  via:yoz  via:zambonini  via@emargee  video  videoconferencing  videogames  videos  vim  Virtualisation  Virtualization  virtualmachine  VirtualMachines  virus  visibility  vision  visual  visualisation  visualization  visualstudio  vj  Voice  voip  volumerendering  volumetric  Voronoi  voxels  vpu  vrml  vulkan  wages  warzone2100  wasm  watchdog  water  wavelets  weather  weatherstation  web  web2.0  webapp  webapps  webcam  webdesign  webdev  webdevelopment  webgl  webhosting  webkit  webservices  website  websites  widgets  wiki  win32  windows  wireless  wiring  wisdom  wolfenstein  women  wordpress  work  workflow  worklifebalance  workplace  writing  WRT54G  wub  www  x10  x11  x86  xdebug  xhtml  xml  XMLHttpRequest  xmpp  xp  xpcom  xscale  xslt  xunit  yahoo  youtube  zarch  zen  zip  ZX  zxspectrum  _why 

Copy this bookmark:



description:


tags: