David von Tamar (david-von-tamar)

david-von-tamar

Geek Repo

Company:Tel Aviv University

Location:Tel Aviv

Github PK Tool:Github PK Tool

David von Tamar's starred repositories

Project-Alice

An open-source game

Language:C++License:GPL-3.0Stargazers:258Issues:0Issues:0

vcmi

Open-source engine for Heroes of Might and Magic III

Language:C++License:GPL-2.0Stargazers:4018Issues:0Issues:0

prosodic

Prosodic: a metrical-phonological parser, written in Python. For English and Finnish, with flexible language support.

Language:JavaScriptLicense:GPL-3.0Stargazers:270Issues:0Issues:0

textadept

Textadept is a fast, minimalist, and remarkably extensible cross-platform text editor for programmers.

Language:LuaLicense:MITStargazers:606Issues:0Issues:0

zotero

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

Language:JavaScriptLicense:NOASSERTIONStargazers:9417Issues:0Issues:0

zotero-deb

Packaged versions of Zotero and Juris-M for Debian-based systems

Language:CrystalLicense:MITStargazers:778Issues:0Issues:0

luaposix

Lua bindings for POSIX APIs

Language:CLicense:MITStargazers:516Issues:0Issues:0

luacheck

A tool for linting and static analysis of Lua code.

Language:LuaLicense:MITStargazers:1892Issues:0Issues:0

textredux

Text-based interfaces for Textadept

Language:LuaLicense:NOASSERTIONStargazers:58Issues:0Issues:0

lua-systemd

Systemd bindings for Lua

Language:CLicense:MITStargazers:39Issues:0Issues:0

completely-unscientific-benchmarks

Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)

Language:C++License:Apache-2.0Stargazers:538Issues:0Issues:0

inspect.lua

Human-readable representation of Lua tables

Language:LuaLicense:MITStargazers:1324Issues:0Issues:0

mediawiki

🌻 The collaborative editing software that runs Wikipedia. Mirror from https://gerrit.wikimedia.org/g/mediawiki/core. See https://mediawiki.org/wiki/Developer_access for contributing.

Language:PHPLicense:NOASSERTIONStargazers:4017Issues:0Issues:0

gartoon-redux

Gartoon Redux GNOME Icon Theme

Language:PerlLicense:NOASSERTIONStargazers:4Issues:0Issues:0

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Language:AdaLicense:GPL-3.0Stargazers:224Issues:0Issues:0

wpf

WPF is a .NET Core UI framework for building Windows desktop applications.

Language:C#License:MITStargazers:6867Issues:0Issues:0

sqlitebrowser

Official home of the DB Browser for SQLite (DB4S) project. Previously known as "SQLite Database Browser" and "Database Browser for SQLite". Website at:

Language:C++License:NOASSERTIONStargazers:20119Issues:0Issues:0

drake

Drake: A Runtime Library for gcc-Ada

Language:AdaLicense:MITStargazers:42Issues:0Issues:0

sway

i3-compatible Wayland compositor

Language:CLicense:MITStargazers:13973Issues:0Issues:0

anbox

Anbox is a container-based approach to boot a full Android system on a regular GNU/Linux system

Language:C++License:GPL-3.0Stargazers:8804Issues:0Issues:0

lua

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

Language:CStargazers:8111Issues:0Issues:0

minix

Official MINIX sources - Automatically replicated from gerrit.minix3.org

Language:CLicense:NOASSERTIONStargazers:2854Issues:0Issues:0

luarocks

LuaRocks is the package manager for the Lua programming language.

Language:LuaLicense:MITStargazers:3126Issues:0Issues:0

Eto

Cross platform GUI framework for desktop and mobile applications in .NET

Language:C#License:NOASSERTIONStargazers:3511Issues:0Issues:0

ldoc

LDoc is a LuaDoc-compatible documentation generator which can also process C extension source. Markdown may be optionally used to render comments, as well as integrated readme documentation and pretty-printed example files.

Language:LuaLicense:NOASSERTIONStargazers:757Issues:0Issues:0

LuaJIT

Mirror of the LuaJIT git repository

Language:CLicense:NOASSERTIONStargazers:4480Issues:0Issues:0
Language:LuaLicense:GPL-3.0Stargazers:171Issues:0Issues:0