krasi0's Stars
opendilab/DI-star
An artificial intelligence platform for the StarCraft II with large-scale distributed training and grand-master agents.
Jigsaw-Code/Intra
An experimental tool that allows you to test new DNS-over-HTTPS services on Android
EricZinda/swiplserver
Python library for using SWI Prolog
kamahen/swipl-server-js-client
Sample SWI-Prolog server with JavaScript client
adsharma/fquery
A graph query engine
netbirdio/netbird
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
stassa/louise
Polynomial-time Meta-Interpretive Learning
rastapasta/mapscii
🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows
flashlight/flashlight
A C++ standalone library for machine learning
DualCoder/vgpu_unlock
Unlock vGPU functionality for consumer grade GPUs.
nschneid/amr-tutorial
Abstract Meaning Representation (AMR) tutorial slides
anderspitman/awesome-tunneling
List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.
mattsouth/dprolog
defeasible prolog
VerbalExpressions/JSVerbalExpressions
JavaScript Regular expressions made easy
justjake/quickjs-emscripten
Safely execute untrusted Javascript in your Javascript, and execute synchronous code that uses async functions
denoland/deno
A modern runtime for JavaScript and TypeScript.
firehol/blocklist-ipsets
ipsets dynamically updated with firehol's update-ipsets.sh script
crazy-max/WindowsSpyBlocker
Block spying and tracking on Windows
netblue30/firejail
Linux namespaces and seccomp-bpf sandbox
evilsocket/opensnitch
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
adam-mcdaniel/wisp
A lisp👽 written in C++
typesense/typesense
Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences
google/cel-spec
Common Expression Language -- specification and binary representation
RoaringBitmap/CRoaring
Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations: used by Apache Doris, ClickHouse, and StarRocks
NVIDIA/libcudacxx
[ARCHIVED] The C++ Standard Library for your entire system. See https://github.com/NVIDIA/cccl
potassco/clasp
⚙️ A conflict-driven nogood learning answer set solver
yuce/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
facebookincubator/CG-SQL
CG/SQL is a compiler that converts a SQL Stored Procedure like language into C for SQLite. SQLite has no stored procedures of its own. CG/CQL can also generate other useful artifacts for testing and schema maintenance.
vinta/fuck-coding-interviews
How on earth can I ever think of a solution like that in an interview?!
eyereasoner/eye
Euler Yet another proof Engine