GitHub topics: pda
graduacao-cederj/template-latex-pda
Template para disciplina PDA do CEDERJ
Language: TeX - Size: 200 KB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
0xNineteen/anchor-stake
example program where users stake their tokens, earn rewards, and can unstake
Language: Rust - Size: 65.4 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 8
wb-ts/chess-contract
Escrow Contract to wager Sol Token for P2P Web3 Game on Solana Blockchain
Language: Rust - Size: 3.91 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 14 - Forks: 2
semiprime/pygenda
An agenda application inspired by Agenda programs on Psion PDAs, written in Python/GTK. Targeting Planet Computers' Gemini PDA and Cosmo Communicator (running Linux) in particular, but should work on similar devices (after providing a user CSS file to set font sizes etc.).
Language: Python - Size: 983 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 33 - Forks: 3
NikolasKekelak/TuringMachineEditor
A nerdy IDE to play with Turing Machines, grammars, and much more!
Language: Java - Size: 1.54 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0
shivamSspirit/solana-quest
Solana-based quest where you build Solana dApps.
Language: TypeScript - Size: 18.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
royalpak/PalmLOVE
An Authentic Experience Of a PDA Assistant/Palmtop Experience Made on LOVE2D (Inspired on PalmOS 3, Windows 7/Vista & iOS)
Language: Lua - Size: 2.23 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
AegonSC/first_vault_program
"Secure" and "efficient" on-chain vault system built on Solana using the Anchor Framework
Language: Rust - Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
smiluredev/PalmLOVE
An Authentic Experience Of a PDA Assistant/Palmtop Experience Made on LOVE2D (Inspired on PalmOS 3)
Language: HTML - Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
MarkLaMer/PushDownAutomata
Implements a Pushdown Automaton (PDA) simulator in Python that recognizes palindromes.
Language: Python - Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
RezaGooner/Push-Down-Automaton
Language: C++ - Size: 692 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0
alexeskenazi/jflap-pda-finite-non-deterministic-pushdown-automata
A non-deterministic pushdown automaton (PDA) implemented in JFLAP that accepts strings of the form a#b where a and b are strings over the alphabet {x,y}, a is not equal to b, and there exists at least one position where the symbols in a and b match, demonstrating the application of PDA concepts in formal language processing.
Size: 639 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
Chainway-OSS/C66
Chainway C66 Handheld terminal Repository
Language: HTML - Size: 184 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
pvnotpv/spl-transfer-pda-poc
Transferring SPL tokens from a PDA
Language: Rust - Size: 40 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1
lxmx/PyPlucker
Web and document parser, converter and scraper for Plucker, the Palm OS app
Language: Python - Size: 547 KB - Last synced at: 25 days ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 1
markaudacity/Psion
Things for Psion PDAs, from the Organiser to the netBook, including EPOC, SIBO, and Organiser abandonware, thing files for replacement parts, and FOSS Psion software.
Size: 550 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0
aabdullah29/solana-ico
solana ico for spl presell
Language: Rust - Size: 157 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 5
abdxzi/solana-escrow
Escrow implementation project in solana blockchain
Language: TypeScript - Size: 1.73 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
sglvladi/pyehm
Open-source Python implementations of Efficient Hypothesis Management (EHM) algorithms.
Language: C++ - Size: 1.47 MB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 2
sakateka/plt
Language: Rust - Size: 321 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 1
obskyr/sharp-techou-tyrfing
A breakout board for the cartridge slot of the SC Denshi System Techō line of PDAs.
Size: 471 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
zakandaiev/stalker-pda
Stalker PDA is a mobile assistant for a real stalker of Chernobyl Exclusion Zone
Language: SCSS - Size: 5.28 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
zaoqi/polaris-dict-a63-arch
快译通电子词典 A63 新版本 Archlinux + X11 + LXDE 及相关资料
Language: Shell - Size: 103 MB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
agicy/buptLab-cfg_pda 📦
北京邮电大学 2023-2024 春季学期《形式语言与自动机》课程实验——上下文无关文法（CFG）与下推自动机（PDA）
Language: Python - Size: 19.5 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0
FaiazPronoy/BRACU_CSE331
CSE331 - Automata and Computability | Spring'24 | BRACU
Size: 3.83 MB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
solana-based-quests/escrow-vault
Basic version of escrow vault program on solana blockchain
Language: TypeScript - Size: 288 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
ericshantos/mini-projeto-M1
Projeto individual de entrega do módulo 1 da formação Full Stack Web da PdA (Programadores do Amanhã).
Language: HTML - Size: 1020 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
Laugharne/ssf_s3_exo
Build an asset manager’s vault, where customers can deposit SPL tokens of their choice. The vault manager should not be able to withdraw the vault’s funds.
Language: TypeScript - Size: 550 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
Laugharne/pda_1_d
Just a very basic Anchor project with educational purpose, created as a reminder to see how to manage indexed PDA (Rust and Typescript).
Language: TypeScript - Size: 42 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
bestmahdi2/Uni__AdvancedCalculatorFSM-PDA
A university project in which an advanced calculator is implemented using finite state machine and push down automata
Language: Python - Size: 896 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
ribbinpo/solana-next-poc
POC: Solana integrate with NextJS
Language: TypeScript - Size: 226 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1
solana-based-quests/lendborrowdapp
This repo contains learning content about Solana's Pda-related features and functionality
Language: TypeScript - Size: 294 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
solana-based-quests/solana-phonebook
A phoneBook dapp with crud features on solana blockchain
Language: TypeScript - Size: 268 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
kernelconcepts/rosetta
rosetta - multistroke / full word handwriting recognition for X
Language: C - Size: 129 KB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
FezaiTech/pdaft
PDAFT is a Pushdown Automaton (PDA) simulation example that checks the validity of a given mathematical expression.
Language: Python - Size: 2.31 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0
Harsha-Vardhan-Tangudu/Theory-Of-Computation-Designing-PDA-Turingmachine-Safe-Submarine-Battle
Designing Pushdown Automata and Turing machine for Safe Submarine Battle
Size: 405 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
GiuseppeDiniz/pda-verify-challenge
C++ program that reads the description of a stack automaton (PDA) and a sequence of words, determining whether or not each word is accepted by the PDA.
Language: C++ - Size: 216 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
kadbbz/HAC_lowcode_app_for_android_based_on_webview
Android PDA container based on WebView with interop interface for Huozige Lowcode development platform
Language: JavaScript - Size: 51.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 2
xmas7/solana-orca-user-farm-test
Initialization of Solana DEX Orca UserFarm with PDA Sign
Language: TypeScript - Size: 59.6 KB - Last synced at: about 13 hours ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1
OrfeoTerkuci/Automata 📦
Automata implementations
Language: C++ - Size: 361 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
wu9007/pda_scanner
🚀A Flutter plugin to scanning. Ready for PDA
Language: Java - Size: 102 KB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 59 - Forks: 40
Justin307/Simulation-of-Pushdown-Automata
Pushdown Automata Simulator allow user to graphically simulate function of PDAs.
Language: TeX - Size: 6.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
im-parsa/persian-discord-api
The Open Source Discord API
Language: SCSS - Size: 226 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2
pgrondein/goods_classification_NLP_DIP
Feasibility of a classification engine of articles into different predefined categories, with a sufficient level of precision, based on an image and a description.
Language: Jupyter Notebook - Size: 12.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Giga-Chad-LLC/pushdown-automata
Formal languages course project for sophomore year at HSE SPb
Language: Python - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
LucaGuth/Conrad
cognitive optimiser for notifications, recommendations and automated data management
Language: HTML - Size: 1.41 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
FgForrest/Postfix-Deliverability-Analytics 📦
[DEPRECATED] A tool that goes throu Posftix logs and builds a statistics of bounces (non-delivered messages). Statistics are provided by REST API to the client.
Language: Scala - Size: 1.35 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 22 - Forks: 5
leo27945875/RectilinearChannelRouter
Language: C++ - Size: 10.7 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
danibazi9/ContextFreeGrammarsImplementationWithSchematic
Implementation of fully-functioned context-free grammars (CFG) & push-down automata (PDA), also include schematically implementation PDA
Size: 448 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
CapitanuAndreea/Castle-of-Illusions-Game
Text-Based Adventure Game using Theory of Computation
Language: Python - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
revdeluxe/C-lanner
Learning Assitant written in C.
Language: C - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
lucastanger/aswe-pda
:robot: Personal Digital Assistant constructed within a Microservice Environment
Language: Python - Size: 18.7 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 3
JohnSpahr/TuneSmithPalm
Make fun little tunes on your Palm OS device with this simple musical keyboard app!
Size: 306 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
yuanchung0521/PDA
physical design automation class 2023 (林柏宏)
Language: C++ - Size: 9.48 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
jlehtine/agenda 📦
Some of my old personal software projects for Agenda VR3, the first Linux PDA.
Language: C++ - Size: 611 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
ilyasozkurt/pda-brands-and-devices
Two database tables whiches include PDA manufacturers and their devices.
Language: PHP - Size: 26.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
benoit-marechal/Cortex-PDA-Cpp
Implémentation des fonctionnalités d'un PDA en C++ & Micro système d'exploitation pour smartphone
Language: C++ - Size: 2.05 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
JavidChaji/FUM-Theory-of-Languages-and-Machines-Context-Free-Grammar-To-PDA-Converter
Converter for converting Context Free Grammar To Pushdown Automata
Language: Java - Size: 128 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
pgrondein/education_system_analysis
Viability of the expansion project through data analysis of education systems
Language: Jupyter Notebook - Size: 689 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
pgrondein/nutrition_app_feasibility
Feasibility of a nutritional assessment application
Language: Jupyter Notebook - Size: 1.68 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
pgrondein/GHG_emission_prediction
Consumption and emissions prediction from non-residential buildings in Seattle.
Language: Jupyter Notebook - Size: 5.72 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
pgrondein/customer_segmentation_e-commerce
Customer segmentation through their behavior, their habits and their personal data.
Language: Jupyter Notebook - Size: 1.58 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
liu-kan/gSMFRETda
A GPU-based program for Monte Carlo simulations of smFRET PDA.
Language: C++ - Size: 9.51 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 1
dotcomboom/Tomate
Pomodoro timer for PPC 2003, Windows Mobile and desktop (.NET CF 3.5)
Language: Visual Basic .NET - Size: 121 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
jmulet/pda4
A web PDA for classroom management
Language: TypeScript - Size: 10.2 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
alexgjohn/react-calculator-pda
Tests written for a calculator app made in React, completed for the PDA while studying at CodeClan
Language: JavaScript - Size: 324 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
UtoPiiAx/PDA-Exercises
Programmierung, Datenstrukturen und Algorithmen (PDA) Exercises
Language: Java - Size: 11.5 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
Af4rinz/cfg-to-pda
Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020
Language: Python - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 3
cwru-xlab/hat-py-sdk
An unofficial Python SDK for the Dataswift API
Language: Python - Size: 760 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
msindev/PushDown-Automata-Implementation
Implementation of PushDown Automata to track acceptance or rejection of a string.
Language: Python - Size: 120 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
sosuisen/cloverpaint
CloverPaint is a painting app for Linux based PDA (Sharp Zaurus).
Language: C - Size: 312 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
lxmx/pimsync
Sync Palm OS PIM databases with the SD card
Language: C - Size: 35.2 KB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
seanpm2001/SirIsaacNewtonOS
SirIsaacNewtonOS is a open source recreation and alternate to Apples NewtonOS. It is part of the WacOS Operating System project.
Language: C++ - Size: 281 KB - Last synced at: 10 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 2
shanearcaro/pushdown-automata
Foundations of Computer Science 2
Language: C++ - Size: 382 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
Mohitsaini2028/TOC
Program of Theory of Computation with output.
Language: C++ - Size: 76.2 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
bmoyer/python-dpda
Python Deterministic Push Down Automaton
Language: Python - Size: 293 KB - Last synced at: almost 2 years ago - Pushed at: almost 11 years ago - Stars: 8 - Forks: 3
KamruzzamanAsif/Theory_of_Computing
Language: C++ - Size: 197 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
andrewkuhl/Automata
Implementations of Automata Theory Machines
Language: C++ - Size: 1.97 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
NMDMaria/PDA_word_acceptance
Python project that determines if a word is accepted by a PDA
Language: Python - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
AliRezaBeitari/pda2cfg
Convert PDA (Pushdown automata) to CFG (Context-free grammar)
Language: Python - Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 3
stephdavis1/Static-and-Dynamic-Testing-Python
Practice with Static and Dynamic Testing as part of the PDA qualification.
Language: Python - Size: 12.8 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
stephdavis1/PDA-unit-and-integration-testing-Javascript
Practice with unit and integration testing as part of the PDA qualification.
Language: JavaScript - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
VenkateshBH99/Path-Dependency-Analysis
Loops are an important part of any programming language. Hence loop analysis is very important for different software engineering tasks, such as bug detection, test case generation, and program optimization.
Language: CSS - Size: 3.25 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1
behzadshomali/Pushdown_automaton
In the theory of computation, a pushdown automaton (PDA) is a type of automaton that employs a stack. In this program, a PDA is going to be constructed by the input grammar.
Language: Python - Size: 92.8 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
sosuisen/zcoloradjust
ZColorAdjust is a color management app for Linux-based PDA (Sharp Zaurus). This app provides color curve for many other apps to adjust LCD color images to a PC monitor.
Language: C++ - Size: 76.2 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
uvalib/pdaws
A camel web app to accept PDA order requests from Virgo and pass them to Proquest using a web API from Proquest
Language: Java - Size: 44.1 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Chaphasilor/automata
Website simulating a pushdown automaton
Language: JavaScript - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
AlexiaChen/computation-theory
There are some implementations of computation theory in Ruby.
Language: Ruby - Size: 17.6 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
wyyxdgm/pda
个人安卓作品集。内含：【个人助手】【百度天气】【消息推送 demo】
Language: Java - Size: 9.71 MB - Last synced at: 3 months ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
epoluodi/honeywell.Ezservice
Honeywell BCC Android PDA 非官方扩展SDK
Language: HTML - Size: 2.38 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
