itp   3581

« earlier    

Sustainable Python scripts | Vincent Bernat
Turning a “quick-and-dirty” Python script into a sustainable version, which will be easy to use, understand and support by your co-workers and your future self, only takes some moderate effort.
itp 
3 hours ago by gdw
Untitled (http://www.staff.science.uu.nl/~swier004/publications/2019-icfp-tim.pdf)
A predicate transformer semantics for effects (Functional pearl). ~ W. Swierstra, T. Baanen.
Agda  ITP  from twitter_favs
7 hours ago by skchrko
How to Get Good at Git - Better Programming - Medium
A simple guide to getting up and running with Git on the command-line
git  github  gitlab  simple  guide  itp  wpd 
6 days ago by gdw
GNU Mailman / HyperKitty · GitLab
A web interface to access GNU Mailman v3 archives.
email  interface  mailman  python  itp  django 
6 days ago by gdw
Untitled (https://lars.hupel.info/pub/isabelle-cakeml.pdf)
A verified compiler from Isabelle/HOL to CakeML. ~ L. Hupel, T. Nipkow. /HOL
ITP  Isabelle  from twitter_favs
8 days ago by skchrko
University of Twente - Backend Unavailable
A formal proof of the termination of Zielonka's algorithm for solving parity games. ~ R. Abraham.
IsabelleHOL  ITP  from twitter_favs
11 days ago by skchrko
[1904.02809] Proving tree algorithms for succinct data structures
Proving tree algorithms for succinct data structures. ~ R. Affeldt, J. Garrigue, X. Qi, K. Tanaka.
Coq  ITP  from twitter_favs
17 days ago by skchrko
Complete Non-Orders and Fixed Points - Archive of Formal Proofs
Complete non-orders and fixed points in Isabelle/HOL. ~ A. Yamada, and J. Dubut.
IsabelleHOL  ITP  from twitter_favs
21 days ago by skchrko

« earlier    

related tags

10  1st-party  2019  30  360  a11y  accessibility  administration  adobe  advanced  advertising  agda  agile  ai  algorithm  algorithmic  algorithms  amazon  analytics  annotations  api  app  apple  arduino  art  article  async  atom  attribution  audio  avantpy  award  awesome  bash-scripting  bash  basic  beginners  best  blocking  blog  books  boost  bot  browser  c++  career  chatbot  chatbots  chrome  chromium  clojure  code  collaboration  complete  composition  computing  cookie-tracking  cookie  cookies  cooper  coq  course  cross-site  cs  css  danluu  data-flair  data  debugging  define  definitive  dev  developers  development  discord.py  discord  distribution  django  dmp  documentation  edit  editor  education  email  etp  exe  executable  experienced  fastai  feedback  files  firefox  formatter  framework  free  friendly-traceback  from  functions  generator  gil  gilectomy  git  github  gitlab  global  google  googleanalytics  guide  guides  hackers  hackerspace  hastings  hott  howto  html  ide  import  in  install  interface  interpreter  into  isabelle  isabellehol  itp-solve  javascript  jimschmitz  js  lambda  large  larry  laurenrace  leanprover  learn  learning  libraries  lightweight  lint  linting  linux  list  lock  logic  machine  macos  mailman  main()  manifesto  math  mendel  metaprogramming  metrics  model  mu  multi-language  music  mypy  of  online  openhardware  opensource  overview  package  parallel  physical-computing  presentation  presentations  privacy  processing  product-update  productivity  programmableair  programmatic  programming  project  pseudocode  publication  pypi  pypy  python  python3  pytorch  reading  ready  redburns  reference  removing  reuse  reveal.js  safari-attribution  safari  safely  samchasan  science  scripting  seconds  security  send  seven  share  simple  site  slides  snipped  snippets  social  source  speed  style  styletransfer  sublime  support  syllabus  system  tables  tangible  teaching  thesis  thread  toolkit  tracking  training  transparency  tutorial  type  types  ultimate  updates  virtual  vs  waste  web-analytics  web  webanalytics  webdev  webkit  weekly.rc  wpd  wrapper  writing  yian 

Copy this bookmark:



description:


tags: