1. 1
    For VidarDB. PostgreSQL extension implements a Foreign Data Wrapper (FDW) for RocksDB databases github.com
    vladislavp avatar via vladislavp 4 days ago | cached | no comments
  2. 4
    [1991] The Psychology of Advanced Mathematical Thinking pdf cogsci historical math homepages.warwick.ac.uk
    vladislavp avatar via vladislavp 24 days ago | cached | 5 comments
  3. 18
    QEMU version 5.0.0 released - QEMU release qemu.org
    vladislavp avatar via vladislavp 1 month ago | cached | no comments
  4. 1
    Performance Modeling of Moving Target Defenses (2017) ☶ pdf security mason.gmu.edu
    vladislavp avatar via vladislavp 1 month ago | cached | no comments
  5. 2
    Coordinates and Transformation pdf graphics math ocw.mit.edu
    vladislavp avatar via vladislavp 2 months ago | cached | no comments
  6. 10
    Replacement PCB for TS100 Soldering Iron, adds USB-C PD hardware github.com
    vladislavp avatar via vladislavp 2 months ago | cached | 2 comments
  7. 3
    Tracing D Applications d debugging dlang.org
    vladislavp avatar via vladislavp 2 months ago | cached | no comments
  8. 3
    release 1.0.0 HElib is an open-source (Apache v2.0) C++ library implementing homomorphic encryption c++ privacy release security github.com
    vladislavp avatar via vladislavp 4 months ago | cached | no comments
  9. 3
    Arend Theorem Prover Tutorial Part I plt arend-lang.github.io
    vladislavp avatar via vladislavp 4 months ago | cached | no comments
  10. 3
    Trellis Plots pdf math visualization stat.auckland.ac.nz
    vladislavp avatar via vladislavp 4 months ago | cached | no comments
  11. 12
    Visual Studio Code port for FreeBSD release github.com
    vladislavp avatar via vladislavp 5 months ago | cached | 5 comments
  12. 3
    Tamper evident logging (2009) compsci tamperevident.cs.rice.edu
    vladislavp avatar via vladislavp 7 months ago | cached | no comments
  13. 3
    Modeling Sequences with Quantum States math math3ma.com
    vladislavp avatar via vladislavp 7 months ago | cached | no comments
  14. 2
    [1994] Order preserving compression pdf performance hpl.hp.com
    vladislavp avatar via vladislavp 7 months ago | cached | 3 comments
  15. 0
    [May, 2019] PipelineDB is Joining Confluent databases practices pipelinedb.com
    vladislavp avatar via vladislavp 8 months ago | cached | no comments
  16. 8
    Modeling a read-write version of Texel: an asynchronous consensus algorithm without rounds distributed formalmethods muratbuffalo.blogspot.com
    vladislavp avatar via vladislavp 8 months ago | cached | no comments
  17. 2
    Symmetry Autumn of Code (SAoC) projects selected ☶ d dlang.org
    vladislavp avatar via vladislavp 9 months ago | cached | no comments
  18. 6
    Complete x86/x64 JIT and AOT Assembler for C++ assembly c++ github.com
    vladislavp avatar via vladislavp 9 months ago | cached | no comments
  19. 9
    Probabilistic Data Structure for Big Data Problems compsci performance se-radio.net
    vladislavp avatar via vladislavp 9 months ago | cached | 4 comments
  20. 4
    Awesome Static Analysis ☶ compsci plt matthias-endler.de
    vladislavp avatar via vladislavp 9 months ago | cached | 7 comments
  21. 4
    wxWidgets and vcpkg ☶ c++ wxwidgets.org
    vladislavp avatar via vladislavp 9 months ago | cached | no comments
  22. 3
    Bug bounties for D language ☶ culture d flipcause.com
    vladislavp avatar via vladislavp 9 months ago | cached | no comments
  23. 8
    KaTeX and MathJax Comparison Demo javascript math web intmath.com
    vladislavp avatar via vladislavp 9 months ago | cached | 2 comments
  24. 3
    2019 International Olympiad in Informatics (31st Olympiad, Host: Baku, Azerbaijan) - results ☶ compsci stats.ioinformatics.org
    vladislavp avatar via vladislavp 9 months ago | cached | 2 comments
  25. 6
    The Qthread Library ☶ c performance cs.sandia.gov
    vladislavp avatar via vladislavp 10 months ago | cached | no comments
Page 2 >>