☆23Feb 5, 2024Updated 2 years ago
Alternatives and similar repositories for 68_Computer_science
Users that are interested in 68_Computer_science are comparing it to the libraries listed below
Sorting:
- ☆11May 3, 2023Updated 2 years ago
- ☆16Jan 24, 2024Updated 2 years ago
- 📚 - Resources for Machine Learning and Haskell☆21Nov 14, 2017Updated 8 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- A blog about Coq☆46Apr 12, 2022Updated 3 years ago
- Capture Star Citizen's meta data packets.☆11Oct 9, 2018Updated 7 years ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- CoverMe! is a simple tool to post your altitude and heading in radio-calls in the video game Warthunder by Gaijin Entertainment.☆10Jan 24, 2016Updated 10 years ago
- Create a Toxicity Chart based on metrics provided by checkstyle rules.☆10Aug 13, 2015Updated 10 years ago
- Windows driver for DroidPad☆12Apr 12, 2014Updated 11 years ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- Prime numbers for Coq☆43Jan 28, 2026Updated last month
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆10May 6, 2022Updated 3 years ago
- ☆11Oct 8, 2022Updated 3 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 5 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- 基于分形理论中的参数L-系统，使用OpenGL与VC++实现了真实度较高的三维树木，并且可以通过调整参数进行树木的变换。☆12Jun 5, 2018Updated 7 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 3 years ago
- ☆10Feb 22, 2016Updated 10 years ago
- Rudder: built-in technique library to handle common configuration or audit tasks☆16Updated this week
- The Unix line editor☆16Updated this week
- A programming language similar to human natural language expression☆10Jul 1, 2020Updated 5 years ago
- Macsyma☆14Jan 23, 2018Updated 8 years ago
- 华为集合通信性能测试☆15May 27, 2024Updated last year
- 从Docker官方Ubuntu镜像，定制中国地区使用的对应镜像。☆13Jan 13, 2021Updated 5 years ago
- ☆17Jun 8, 2016Updated 9 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technology☆11Aug 31, 2019Updated 6 years ago
- Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel☆13Feb 18, 2026Updated last week
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Discord bot for Star Citizen organizations.☆10Mar 22, 2017Updated 8 years ago
- ☆17Nov 29, 2025Updated 3 months ago
- Purely Functional Data Structures☆12Mar 19, 2025Updated 11 months ago
- Custom GPIO-based I2C master kernel module (based on OpenWrt version)☆11Feb 6, 2019Updated 7 years ago