Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / elazarg 15 repositories
elazarg/nakdimon
Hebrew Diacritizer
Language: Jupyter Notebook - Size: 210 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 22 - Forks: 5
elazarg/elazarg
Size: 5.86 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 0 - Forks: 0
elazarg/pythia
Pointer Analysis of CPython Bytecode using Abstract Interpretation
Language: Python - Size: 886 KB - Last synced: about 1 month ago - Pushed: 10 months ago - Stars: 4 - Forks: 0
elazarg/uncalled
Finding unused functions in Python projects
Language: Python - Size: 38.1 KB - Last synced: 26 days ago - Pushed: 11 months ago - Stars: 12 - Forks: 1
elazarg/vpc-network-config-analyzer Fork of np-guard/vpc-network-config-analyzer
A tool for analyzing the configured network connectivity of VPCs as specified by various VPC resources
Language: Go - Size: 492 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
elazarg/pizza
blip blip
Language: Python - Size: 3.73 MB - Last synced: 9 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
elazarg/anyway Fork of data-for-change/anyway
ANYWAY - Car accidents map
Language: Python - Size: 63.1 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
elazarg/blockchain-backpack Fork of drblue9001/blockchain-backpack
Mirror of http://git.blockchainbackpack.org/backpack.git/
Language: Python - Size: 824 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0
elazarg/scribble-web Fork of scribble/scribble-web
Web tooling for the Scribble project
Language: Java - Size: 447 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0
elazarg/pyta
Static type inference for Python
Language: Python - Size: 664 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0
elazarg/tvla Fork of rumster/tvla
Three-Valued Logic Analyzer
Language: Java - Size: 4.69 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0
elazarg/siyah
A chat server, just for fun.
Language: C++ - Size: 130 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0
elazarg/Open-Knesset Fork of hasadna/Open-Knesset
A project aimed at making the israeli Knesset more transparent. Python and Django based
Language: Python - Size: 23.1 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0
elazarg/bugzira
feature extraction from JIRA
Language: Python - Size: 106 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 2
elazarg/ebpf.io-website Fork of ebpf-io/ebpf.io-website
ebpf.io Website
Language: JavaScript - Size: 35.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
elazarg/cog Fork of replicate/cog
Containers for machine learning
Size: 1.26 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
elazarg/Resources Fork of NNLP-IL/Resources
A comprehensive list of Hebrew NLP resources.
Size: 19.9 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
elazarg/aclpubcheck Fork of acl-org/aclpubcheck
Tools for checking ACL paper submissions
Size: 1.12 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
elazarg/hebrew_diacritized
A corpus of diacritized Hebrew texts (טקסט מנוקד)
Size: 20.2 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0
elazarg/gender_dots
A challenge set comparing male/female diacritization in Hebrew
Language: Python - Size: 9.78 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
elazarg/root_verb_tables
All the roots and their verb templates
Language: Python - Size: 605 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0
elazarg/elazarg.github.io
Personal Website
Language: HTML - Size: 80 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0
elazarg/ugify
Chrome extension: pretty display of the Technion grade-sheet
Language: JavaScript - Size: 196 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 1
elazarg/HebrewResources Fork of OnlpLab/HebrewResources
Language: Python - Size: 12.4 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
elazarg/ug-data
Parsing and publishing Technion UG courses information
Language: Python - Size: 1.05 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 2 - Forks: 1
elazarg/rootem
Root-Template extraction for Hebrew text
Language: Python - Size: 294 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
elazarg/Hebrew_UD Fork of OnlpLab/Hebrew_UD
The UD (Universal Dependencies) Hebrew treebank and a modification tool.
Language: Jupyter Notebook - Size: 8.01 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
elazarg/Neural-Sentiment-Analyzer-for-Modern-Hebrew Fork of omilab/Neural-Sentiment-Analyzer-for-Modern-Hebrew
Neural Sentiment Analyzer for Modern Hebrew
Size: 1.92 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
elazarg/cpython Fork of python/cpython
The Python programming language
Size: 321 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
elazarg/disjoint_set_wait_free
An efficient wait-free implementation of a concurrent disjoint-set data structure
Language: C - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 1
elazarg/CLI11 Fork of CLIUtils/CLI11
CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.
Size: 2.86 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
elazarg/mypy Fork of python/mypy
Optional static typing for Python 2 and 3 (PEP484)
Language: Python - Size: 36.5 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
elazarg/OpenRA Fork of OpenRA/OpenRA
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
Size: 136 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
elazarg/markdown-cheatsheet Fork of tchapi/markdown-cheatsheet
Markdown Cheatsheet for Github Readme.md
Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
elazarg/elina Fork of seahorn/elina
The ETH LIbrary for Numerical Analysis together with Apron
Language: C - Size: 2.49 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
elazarg/crab Fork of seahorn/crab
CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
Language: C++ - Size: 2.49 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
elazarg/language-server-protocol Fork of microsoft/language-server-protocol
Defines a common protocol for language servers.
Size: 2.39 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
elazarg/vscode-docs Fork of microsoft/vscode-docs
Public documentation for Visual Studio Code
Language: CSS - Size: 593 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
elazarg/metaclasses
Language: ANTLR - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
elazarg/snake-gol
Snake with Game of Life
Language: Python - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
elazarg/get-grades
Fetch grades from Technion UG website
Language: C# - Size: 2.11 MB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 1 - Forks: 0
elazarg/vulture Fork of jendrikseipp/vulture
Find dead Python code
Language: Python - Size: 383 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
elazarg/ivy Fork of microsoft/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Language: Python - Size: 4.21 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
elazarg/vscode-solidity Fork of juanfranblanco/vscode-solidity
Visual Studio Code language support extension for Solidity smart contracts in Ethereum
Language: TypeScript - Size: 129 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
elazarg/Encyclopedia Fork of ProofSystem/Encyclopedia
An Open Encyclopedia of Proof Systems
Language: TeX - Size: 88.4 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
elazarg/coq Fork of coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language: OCaml - Size: 80.6 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
elazarg/SoftwareModels
Language: Java - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
elazarg/blockchain
Language: Coq - Size: 10.3 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
elazarg/solidity
Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
elazarg/typeshed Fork of python/typeshed
Collection of library stubs for Python, with static types
Language: Python - Size: 2.81 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
elazarg/allthe2048
Updated index of all the 2048 variants currently out there
Language: CSS - Size: 320 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 117
elazarg/ug-data-vis
Visualisation for ug-data
Language: JavaScript - Size: 660 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0
elazarg/ranged_iterators
Size: 0 Bytes - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0
elazarg/lolcipher Fork of technion/lolcipher
Related to the new lolcipher algorithm
Size: 113 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0
elazarg/11
log_2(the addictive game)
Language: CSS - Size: 176 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0
elazarg/Python-Suffix-Tree Fork of kvh/Python-Suffix-Tree
Suffix tree for string searching
Language: Python - Size: 58.6 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0
elazarg/omuni-budget Fork of hasadna/openmuni-budgets
Open Budget for Municipalities
Language: Python - Size: 82 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0