Automatically exported from code.google.com/p/kevin
☆32May 8, 2015Updated 11 years ago
Alternatives and similar repositories for kevin
Users that are interested in kevin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 《Redis 设计与实现》所使用的 sphinx 样式。☆17Dec 9, 2013Updated 12 years ago
- nsq官方文档翻译和源码学习☆11Sep 10, 2014Updated 11 years ago
- Gdb python extension for lua 5.3.☆13Sep 19, 2019Updated 6 years ago
- ☆15Sep 29, 2020Updated 5 years ago
- added jit support for sproto.☆30Mar 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated last year
- GCNO and GCDA parser and writer implementation in Dart☆14Feb 27, 2017Updated 9 years ago
- My Emacs configuration☆13Jun 30, 2024Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 2 months ago
- Number Geometry methods: Shortest Vector Problem and Shorter Basis Problem in Lattice (Hamming distance, Bounded distance decoding, bina…☆13May 19, 2023Updated 3 years ago
- A fast multi-producer, multi-consumer lock-free concurrent queue for C++11☆10May 25, 2015Updated 10 years ago
- ☆15May 18, 2017Updated 9 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Masked implementations of PQ schemes for the Cortex-M4.☆14Mar 11, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lua messagepack for ngx_lua/stream_lua/OpenResty☆15Jul 11, 2018Updated 7 years ago
- Telnet chat demo for OpenResty Con 2017☆15Aug 23, 2018Updated 7 years ago
- A command-line finder with fzf☆15Nov 7, 2015Updated 10 years ago
- Emacs config for ORG/Python/c/c++/Java☆13Apr 10, 2020Updated 6 years ago
- A race detector for Golang☆11Jan 16, 2020Updated 6 years ago
- ☆17Jan 7, 2020Updated 6 years ago
- supported primitive thrift protocol for http service based alibaba dubbo☆12May 11, 2014Updated 12 years ago
- RISC-V Software Porting and Optimization Championship☆16Updated this week
- Demo of OpenGL ES 2.0 Android live wallpaper ported to WebGL☆12Jan 30, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Emacs Lisp implementation of AES☆18Dec 4, 2021Updated 4 years ago
- Simple examples for extending Python with C/C++☆11Aug 2, 2016Updated 9 years ago
- A small tool for repairing some websites that are not available for network reasons☆10Feb 23, 2020Updated 6 years ago
- Easy to use encryption library for Go☆17Oct 5, 2021Updated 4 years ago
- An Airflow plugin, providing an admin UI to conveniently start backfills. Usable with Airflow 1, 2 and Cloud Composer☆14Aug 16, 2022Updated 3 years ago
- ☆13Jul 18, 2024Updated last year
- Test loading order for Vim plugins☆15Mar 22, 2014Updated 12 years ago
- A few examples for LMAX disruptor☆17Aug 1, 2011Updated 14 years ago
- this is a goroutine pool☆12Sep 8, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- CUDA GPU implementation of GMRES iterative Solver☆10Apr 16, 2012Updated 14 years ago
- arts practice☆27Aug 3, 2019Updated 6 years ago
- CS 188 Project 3☆11Mar 5, 2018Updated 8 years ago
- ☆18Oct 13, 2020Updated 5 years ago
- A starter for vue-desktop.☆13Feb 19, 2016Updated 10 years ago
- Operating Systems: Three Easy Pieces中文翻译版☆22Feb 6, 2019Updated 7 years ago
- Realizing private and practical pharmacological collaboration☆15Oct 19, 2018Updated 7 years ago