imp
There are 58 repositories under imp topic.
qhd/ANYMethodLog
Log any method call of object in Objective-C
iwilare/formal-methods
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
imp-language/imp
Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
Spacebody/CS303-Artificial-Intelligence
Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017
larsbrinkhoff/imp
New implementation of an Arpanet IMP
lethal233/CS303A-projects
This is the CS303A AI course projects repo in SUSTech.
lifesaver0129/CS303-Artificial-Intelligence
SUSTech CS course artificial intelligence, including 4 seperated project
mareksipos93/FIT-VUT
Školní projekty – Fakulta informačních technologií Vysokého učení technického v Brně
europ/VUTBR-FIT-IMP
VUTBR - FIT: IMP 2017/2018
marusak/School
VUT FIT BIT projects
siraben/ts-lint-example
Minimal linting example with tree-sitter
contificate/imp-compiler
Compiler for a variant of the "IMP" programming language
siraben/tree-sitter-imp
Imp grammar for tree-sitter
miricinka/VUT_FIT
Projekty VUT FIT
mjiggidy/imflib
A library for parsing SMPTE Interoperable Media Format (IMF) packages
carriots/electricimp_examples
Some examples for working with electric imp
ferhaterata/vc-gen
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
jfklorenz/Bridge-Scoring-Package
Javascript package for Contract Bridge Scoring: Matchpoitns, IMPs and Victory Points.
mandriota/impvm
Tiny virtual machine for math calculations
AraBlocks/AIPs
Ara Improvement Proposals (AIPs) - Specifications, proposals, drafts, and other documentation for the improvement of the Ara project
astrigac/VUT-FIT
This repository serves as a compilation of my BUT FIT shool projects.
Bihanojko/School-Projects
Projects created during my studies at FIT BUT
fxdpntthm/imp-model
modeling imp in z3
grierforensics/Great-DANE-Horde-Webmail
Great DANE for Horde Webmail
jfletcher76/CiscoDEVUC
A place to share my Cisco UC python scripts. Join the discord here if you have questions for me or just want to find a place to talk about Cisco UC stuff. https://discord.gg/buxvfQRwdP
smittytone/generic-squirrel
Cross-project generic Squirrel code
cuiyuheng/gpt4free
The official gpt4free repository | various collection of powerful language models
cuiyuheng/hoarder
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
cuiyuheng/pandas-ai
Chat with your database (SQL, CSV, pandas, polars, mongodb, noSQL, etc). PandasAI makes data analysis conversational using LLMs (GPT 3.5 / 4, Anthropic, VertexAI) and RAG.
cuiyuheng/tech-interview-for-developer
👶🏻 신입 개발자 전공 지식 & 기술 면접 백과사전 📖
cuiyuheng/Thinking-Claude
Let your Claude able to think
cuiyuheng/TinyTroupe
LLM-powered multiagent persona simulation for imagination enhancement and business insights.
cuiyuheng/tsfresh
Automatic extraction of relevant features from time series:
cuiyuheng/wechat-bot
🤖一个基于 WeChaty 结合 OpenAi ChatGPT / Kimi / 讯飞等Ai服务实现的微信机器人 ，可以用来帮助你自动回复微信消息，或者管理微信群/好友，检测僵尸粉等...
cuiyuheng/WechatBotCMD
微信机器人WechatBotCMD是一个创新的基于Python 3.11开发的项目，通过结合ChatGPT模型和微信原生API，为用户提供智能聊天、自动绘画、自动发朋友圈、自动发视频号等多样的API集成服务，旨在提升日常沟通效率和趣味性。
larsbrinkhoff/impcode-mirror
Mirror of https://walden-family.com/impcode/