您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. foundational-knowledge-for-programmers:有关程序员基础知识的资源列表(可能持续数十年)-源码

  2. 程序员的基础知识 基础知识是基础知识非常不同:如果你在现场是一个新人,也未必是最短路径,成为“职业准备” ......但你会在这里学到将持续你的寿命长! 如果您知道一些符合上面定义的优质资源,请随时贡献。 计算机科学 一般的 计算机程序(MIT)的结构和解释 计算机科学数学(MIT) 程式语言理论 B. Pierce在Coq中的软件基础 逻辑基础 编程语言基础 经过验证的功能算法 P. Wadler Agda中的编程语言基础》 范畴论 B. Milewski编写的程序员分类理论 类别编
  3. 所属分类:其它

  1. acados:快速和嵌入式求解器,用于非线性最优控制-源码

  2. 阿卡多斯 快速和嵌入式求解器,用于非线性最优控制。 一般的 acados提供了与C , Python , MATLAB和Octave编程语言的接口 可以在上找到 论坛:如果您有与Acados有关的任何问题,请随时在我们的论坛。 引用acados:可在和找到参考。 安装 初始化所有子模块 git submodule update --recursive --init 生成并安装acados 。目前同时支持基于CMake和基于Makefile的构建系统。请选择一个并继续执行相应的段落。 CMake的
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:21mb
    • 提供者:weixin_42178688
  1. E-M-P-E-R-O-R:我的readme.md个人资料!-源码

  2. 嗨伙计 :waving_hand: ,皇帝在这里 喜欢编程的10年级学生。 语言: 我使用: Python,有时还包括HTML和CSS 我打算学习: Java,C和另外一种(可能是Javascr ipt) 我的工具 :wrench: : 文字编辑器: VS Code和Neovim 操作系统: Windows 10和虚拟机上的Debian Linux 我的爱好 :writing_hand: : 编程,看动漫(虽然不是哭泣) :face_with_tears_of_joy: ),学习物理学,阅读自
  3. 所属分类:其它

  1. ft_printf:重新编码printf | école42-源码

  2. ft_printf 重新打印printf :astonished_face: 介绍 C语言中printf函数的多功能性代表了我们编程中的一项艰巨练习。 这个是中等难度的。 这将使您能够发现C语言中的可变函数。成功ft_printf的关键是结构良好且可扩展的代码。 一步步 首先,我写了只是为了了解主题和printf的标志。 这些是我要重新编码的格式标识符: % 类型 %C 特点 %s 细绳 %p 指针 %d 十进制有符号整数 %一世 整数 %u 无符号整数 %X 十六进制整数
  3. 所属分类:其它

  1. brief-reference-javascript:JavaScript编程语言的简要参考-源码

  2. 简要参考Javascr ipt Javascr ipt编程语言的简要参考。 在控制台上打印日志 console.log("This is a log message"); 通过他们的ID获取元素 var el = document.getElementById("the-element-id"); 将事件侦听器添加到元素 var p = document.getElementById("element-id"); p.addEventListener("click", function(eve
  3. 所属分类:其它

  1. curl-lang:Curly编程语言(现在在Rust中!)-源码

  2. 卷曲 Curly是一种专注于迭代器的函数式编程语言。 它的一些主要实现功能包括和类型,迭代器,列表推导和量词。 例子 primes = n in (from 2 ) where for all p in (range 2 n) n % p != 0 建造 只需输入以下内容: git clone https://github.com/curly-lang/curly-lang && cd curly-lang && cargo build 该项目依赖于clang或gcc
  3. 所属分类:其它

    • 发布日期:2021-02-27
    • 文件大小:79kb
    • 提供者:weixin_42168265
  1. CleanEditor:一款用于md,docx,html,xml等的无干扰的编辑器-源码

  2. 清洁编辑器 分心自由编辑的MD,DOCX,HTML,XML等。 为挥发性编程组织创建。 屏幕截图 禅宗模式 黑暗与光明的主题 多语言 选项 捷径 菜单 命令 捷径 新的 Ctrl + N 打开 Alt + O 救 Alt + S 打印 Ctrl + P 撤消 Ctrl + Z 重做 Ctrl + Y 帮助 F1 拼写检查 F7 关于 F8 选项 F9 切换主题 F10 切换全屏 F11 出口 Alt + F4 查询 命令 捷径 找 Ctrl + F 查找和替换 Ctrl
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:393kb
    • 提供者:weixin_42113754
  1. vy:从头开始制作的类似于vim的python-源码

  2. 维 用python编写的功能强大的模式编辑器。 vy是具有非常模块化的体系结构的模式编辑器。 vy是在Tkinter之上构建的,Tkinter是生产力最高的图形工具包之一; 它允许vy具有如此出色的插件编程接口。 Python是一种了不起的语言。 它之所以成为如此强大的应用程序,是因为其插件API自然是高级的。 在vy中,很容易创建像emacs中那样的模式,这些模式支持编程语言,提供各种功能,这些功能不同于访问irc或电子邮件检查。 尽管可以使vy看起来像vim或emacs,但谨慎选择了vy
  3. 所属分类:其它

    • 发布日期:2021-02-24
    • 文件大小:766kb
    • 提供者:weixin_42136837
  1. P:P编程语言-源码

  2. P是用于异步事件驱动的编程的语言。 P允许程序员将系统指定为交互状态机的集合,这些状态机使用事件相互通信。 P将编程和建模统一为程序员的一项活动。 P程序不仅可以编译为可执行代码,还可以使用“模型检查”进行系统地测试。 P已用于实现和验证Microsoft Windows 8和Windows Phone附带的USB设备驱动程序堆栈。 当前,P已在Amazon(AWS)内部广泛用于模型检查复杂的分布式系统。 刊物 。 Ankush Desai,Amar Phanishayee,Shaz Qadee
  3. 所属分类:其它

    • 发布日期:2021-02-22
    • 文件大小:64mb
    • 提供者:weixin_42129970
  1. polyglot:您最喜欢哪种编程语言? :tongue:-源码

  2. 多种语言 您最喜欢哪种编程语言? :tongue: Polyglot会根据Github用户名告诉您! 如何使用: 获取最常用的语言: polyglot --username=filhodanuvem 要在服务器模式下运行: polyglot -s 用法: Polyglot [flags] Flags: -h, --help help for Polyglot -l, --log string Log verbosity, options
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:385kb
    • 提供者:weixin_42126749
  1. shiika:一种静态类型的编程语言-源码

  2. 椎香 Shiika是一种静态类型的,类似于Ruby的编程语言。 自2000年以来,Ruby就一直是我的“母语”。我对Ruby的热爱是: 容易写 不带括号的方法调用(例如p foo ) 方便的语法,例如#{} ,修饰符if等。 功能强大,数量少的核心类(例如,数组也表现为堆栈或队列) 另一方面,静态类型具有许多优点。 更好的性能(使优化更容易) 易于重构(通过检查类型错误而无需执行) Shiika尝试将这些结合起来。 大多数静态类型化语言(例如C ++ / Java / Scal
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:123kb
    • 提供者:weixin_42142062
  1. pMath:pMath是一种本质上类似于Mathematica(符号操纵和模式匹配)的编程语言,它希望一段时间后成为完整的计算机代数系统-源码

  2. p数学 版权所有:copyright:Peter Frentrup,2005-2020年 pMath是一种实验计算机代数系统/编程语言。 一些概念类似于 (使用模式匹配,所有内容都是表达式),但是语法有所改进。 开发在。 建造 IDE用于开发。 受支持的编译器是Visual C ++ 2015(建议使用Windows)和GCC(Windows,Unix)。 先决条件 首次打开pmath.workspace时,Code :: Blocks将要求提供许多全局变量。 这些对应于所需的预构建库。 变量
  3. 所属分类:其它

  1. Instant-Print:一种简单的省时工具-源码

  2. 即时打印 这是一个简单的打印语句生成器,它将以相应的编程语言生成一个简单的打印语句。 特征 只需在文件中的所需行上键入!p ,此生成器将自动以当前编程语言生成带有当前文件名和行号的打印语句。 Java样本 C ++示例 C样本 支持的语言 咖啡脚本 C C ++ C# F# 去 Groovy Java Javascr ipt Javascr ipt React 目标C 目标C ++ Perl PHP Python [R Ruby 锈 Swift 打字稿 Typescr i
  3. 所属分类:其它

  1. DeepNeuralClassifier:深度神经网络,使用校正后的线性单位对MNIST数据集中的手写符号进行分类-源码

  2. 深度神经网络分类器示例 描述 深入,前馈神经网络的示例脚本已从头开始编写。 没有使用机器学习包,提供了如何实现人工神经网络基础算法的示例。 该代码用Julia编写,Julia是一种编程语言,其语法类似于Matlab。 在MNIST手写数字数据集上训练神经网络。 在测试数据集上,神经网络正确分类了98.42%的手写数字。 对于不像卷积神经网络那样包含数据集几何不变性的先验知识的全连接神经网络,其结果是相当不错的。 下载 下载: Git: git clone https://github.co
  3. 所属分类:其它

  1. proxy-hyper:使用(rust + hyper)的反向代理-源码

  2. 状态 项目目标 该项目的目标是使用Rust编程语言创建一个简单的反向代理。 构建在之上( hyper是用Rust编写的一种快速且正确的HTTP实现)。 特征 完全可配置的反向代理(请参阅下面的用法)。 支持承载授权。 如果启用了身份验证,则代理将通过配置文件来验证jwt令牌。 然后创建一个新的HTTP标头“ x-real-name” ,其中包含用户身份。 新的标头以base64编码。 使用记录。 待办的 添加标头“ ”和“ 。 更好的路径匹配。 测试几个关键部分。 性能测试。 建
  3. 所属分类:其它

    • 发布日期:2021-02-19
    • 文件大小:23kb
    • 提供者:weixin_42103128
  1. tea:tea是一种人性化的编程语言。 少编码,多表达-源码

  2. 英文|| 茶 Tea是一种编程语言,具有强大的规范设计,简单的强类型系统和单元模块系统,支持类型推断,面向对象和功能编程以及简洁的语法。 目标是成为一种友好的编程语言,以支持多终端开发,并尽可能支持通用的编程语言生态,以便开发人员可以继续使用现有的工作结果。 目前,可以通过将PHP库转换为PHP代码来调用它,该代码可用于Web服务器端开发。 预计将来会支持其他一些编程语言生态。 茶非常重视语法的友好性。 通过优化语法,它希望开发人员可以更轻松自然地编写代码,并可以将更多精力放在创意实现上。 它
  3. 所属分类:其它

    • 发布日期:2021-02-16
    • 文件大小:212kb
    • 提供者:weixin_42126274
  1. pashmak:Pashmak编程语言-源码

  2. 徽标by Pashmak编程语言 你好呀。 这是Pashmak编程语言。 Pashmak是用Python编写的解释器。 Pashmak脚本具有很酷的语法和pashmaki语法。 帕什马克是: Pashmak = (Python - SpaceSensitiveSyntax) + (Php.Syntax + Perl.Syntax) + MoreFlexibilityAndFeatures Pashmak功能 为什么这种编程语言很有用? 因为: 空间不敏感且简洁的语法 很大的灵活性 灵活
  3. 所属分类:其它

    • 发布日期:2021-02-15
    • 文件大小:344kb
    • 提供者:weixin_42135753
  1. NimKate:Nimrod编程语言对Kate文本编辑器的支持-源码

  2. 凯特 :heart_suit: 尼姆 语言支持和颜色。 屏幕截图 安装 mkdir -p " ~/.local/share/org.kde.syntax-highlighting/syntax/ " wget -o " ~/.local/share/org.kde.syntax-highlighting/syntax/nim.xml " https://raw.githubusercontent.com/juancarlospaco/NimKate/master/nim.xml mkdir -p
  3. 所属分类:其它

    • 发布日期:2021-02-04
    • 文件大小:380kb
    • 提供者:weixin_42099176
  1. P-编程语言:P(SUCC PRED)语言编译器-源码

  2. P-编程语言:P(SUCC PRED)语言编译器
  3. 所属分类:其它

    • 发布日期:2021-02-04
    • 文件大小:803kb
    • 提供者:weixin_42181686
  1. 工具包:有用模式的集合-源码

  2. 工具包 介绍 在设计应用程序或系统时,可以使用这些模式来解决常见问题。 要求 > = 1.11.x-Go编程语言 安装 go get github.com/donutloop/toolkit/{any_package} 例 go get github.com/donutloop/toolkit/worker 模式 例子 每个子目录中都有一组示例 代码生成 Currently, it's only compatiable with version 2.xx 代码生成工具为模式生成spef
  3. 所属分类:其它

    • 发布日期:2021-01-30
    • 文件大小:63kb
    • 提供者:weixin_42136791
« 12 3 4 »