jeffreykegler / personalView external linksLinks
Jeffrey Kegler personal web page
☆13Jul 6, 2023Updated 2 years ago
Alternatives and similar repositories for personal
Users that are interested in personal are comparing it to the libraries listed below
Sorting:
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated last week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Livro com o conteúdo do material de aulas e do site da Curso-R☆10Apr 16, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Mobile and Web application for real time early prediction of sepsis(6 hours before the onset). I did pre processing, data visualisation ,…☆11Sep 20, 2020Updated 5 years ago
- ☆10Nov 23, 2024Updated last year
- ☆12Aug 24, 2014Updated 11 years ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago
- A simple Surface macro component that converts markdown into HTML at compile-time☆11Feb 19, 2024Updated last year
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 4 months ago
- Collections of Slides for FOSS4G 2014☆10Sep 29, 2014Updated 11 years ago
- Skilift simulator☆11Sep 4, 2020Updated 5 years ago
- ☆17Nov 21, 2020Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- QR code 2005 encoder in Emacs Lisp☆10Feb 7, 2016Updated 10 years ago
- A Go library for checking AES-NI support.☆10Jul 2, 2014Updated 11 years ago
- VR JuggLua: A Framework for VR Applications Combining Lua, OpenSceneGraph, and VR Juggler☆12Sep 29, 2014Updated 11 years ago
- Programmers Editor that grows with you☆12Jan 16, 2025Updated last year
- Demovibes - CVGM☆10Jan 17, 2026Updated 3 weeks ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- A Google Chrome extension that creates clickable heading markers next to the scrollbar.☆12Aug 31, 2024Updated last year
- Experimental polyfill approach for package name maps in browsers☆10Sep 7, 2018Updated 7 years ago
- ROS-based second-generation command & control system for marine vehicles☆12Updated this week
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated last month
- Jupytext talk at PyParis 2018☆11Dec 10, 2018Updated 7 years ago
- jstree plugin that allows adding actions on each node☆12Mar 6, 2019Updated 6 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Spreadsheet functionality for Pharo based on Morphic☆12Apr 3, 2020Updated 5 years ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- 🚥 View your vercel deployments with raycast☆21Nov 30, 2021Updated 4 years ago
- The method of generalized regression regularization through PQSQ technique is presented. This approach includes lasso, elastic net and ri…☆10Aug 2, 2019Updated 6 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- The reincarnation of the bodhi Game Engine in Vala☆10Oct 7, 2021Updated 4 years ago
- OpenID Connect for Julia☆14Dec 3, 2025Updated 2 months ago
- Automatically exported from code.google.com/p/osgqsg☆11Mar 14, 2015Updated 10 years ago
- Decoder for the Automatic Picture Transmission protocol used by some weather satellites in Julia☆12Dec 11, 2024Updated last year
- A library for working with mmap'd graph data☆11Nov 29, 2020Updated 5 years ago
- Talks given about Go and Gonum delivered by Gonum developers.☆13Apr 13, 2019Updated 6 years ago