Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for polymorphism
polymorphism
x
241 search results found
Archsat
⭐
24
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Ariel
⭐
24
A simple, purely-functional programming language
Fundamentals Of Python Data Structures
⭐
24
《数据结构(Python语言描述)》"Fundamentals of Python:Data Structures" 电子书和配套代码
Zerotect
⭐
24
An attack/exploit Detector that utilizes Polymorphism and Diversity
C Iterplus
⭐
24
Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators
Motifbreakr
⭐
24
A Package For Predicting The Disruptiveness Of Single Nucleotide Polymorphisms On Transcription Factor Binding Sites.
Dynamiccodablekit
⭐
23
Implement dynamic JSON decoding within the constraints of Swift's sound type system by working on top of Swift's Codable implementations.
Tardy
⭐
23
Runtime polymorphism without inheritance (structs, ints, classes, ...)
Dmocks Revived
⭐
22
A mocking framework for the D programming language
Linearml
⭐
22
A simple implementation of linear type theory
Zero To Advance Oop Concepts Cpp
⭐
21
Step by step explain concepts deeply ,proper examples with tested portions, short notes in the form of slides , external material links and much more.
Xsfoundation
⭐
21
The XEOS C Foundation library provides the base for object-oriented C style coding, reference counting memory management with auto-release capabilities, reflection, runtime environment, polymorphism, and basic objects.
Subml
⭐
21
SubML (prototype) language
Elz
⭐
21
A polymorphism object-oriented programming language
Oop In Cplusplus
⭐
21
An Awesome Repository On Object Oriented Programming In C++ Language. Ideal For Computer Science Undergraduates, This Repository Holds All The Resources Created And Used By Me - Code & Theory For One To Master Object Oriented Programming. Filled With Theory Slides, Number Of Programs, Concept-Clearing Projects And Beautifully Explained, Well Documented Learnings, This Repository Shall Project My Learnings In OOP During College And Help You Master The Same!
Funslang
⭐
21
Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.
Vitamin
⭐
21
The Vitamin programming language
Shellerate
⭐
20
A shellcode generator with encryption, encoding and polymorphism facilities built-in
Python Course
⭐
20
Learning Python Design Patterns
⭐
19
《Python设计模式入门-第二版》2016年2月
Tutor Haskell
⭐
19
跟幾個朋友 study group 所用的教材
Zelda Game
⭐
18
👽 A text based adventure game made using concepts of OOP like Inheritance, Composition, Association, Polymorphism etc
Kvasir
⭐
18
A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Devise Polymorphic Association
⭐
17
A demo project to show the Polymorphic Association using Devise
Lua Pie
⭐
17
A class library for Lua
Linkedlist
⭐
17
Doubly Linked List for Fortran 2003.
Wivuu.jsonpolymorphism
⭐
17
Adds System.Text.Json serializer support for polymorphism with a discriminator attribute
Cis 194 Winter 2016
⭐
17
A modified version of Brent Yorgey's CIS 194 Haskell course
Wakame
⭐
16
Haskell library of row polymorphic record manipulator
Exercises
⭐
16
This repository along with the articles repository (https://github.com/njnareshjoshi/articles) contains coding examples for my blog ProgrammingMitra
Pomo
⭐
15
Implementation of a polymorphism aware phylogenetic model using HYPHY
Activerecord Exclusive Arc
⭐
15
💫 An ActiveRecord extension for implementing polymorphic relationships as exclusive arcs
Racket Higher Rank
⭐
15
Hs2bf
⭐
15
Haskell to brainfuck compiler
Polypropylene
⭐
15
EDSL for Polymorphism-Aware Entity Component Systems
Data Tc
⭐
15
A type class for data of all sizes.
Cs 046
⭐
15
Intro to Java Programming
Sofos
⭐
14
Rescale genetic polymorphism data to match a common sample size.
Hse Haskell Course Src
⭐
13
Ocaml Type Classes
⭐
13
OCaml Type Classes
Cis 194 Spring 2017
⭐
13
A modified version of the University of Pennsylvania's CIS194
Object Oriented Programming
⭐
13
Object Oriented Programming with C++ /created by Muzaffer Arda Uslu
Typeclass Interface Pattern
⭐
13
Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Oop Fortran Examples
⭐
13
Examples of using the object-oriented features in Fortran, taken from my presentation at RSECon 2019
Cis 194 Summer 2018
⭐
12
A modified version of the University of Pennsylvania's CIS194
Zimpl
⭐
12
Simple comptime generic interfaces for Zig
Dagmore
⭐
12
Less Type, more Typeable.
Simra
⭐
12
SimRA (Simulation based on Random-graphs Algorithms) is a framework for simulating generic and complex evolutionary scenarios of multiple populations with subdivision and admixture. The algorithm generates a network structure, called Ancestral Recombination Graph (ARG), that models coalescence and genetic exchange events (recombinations) with SNP as well as STR polymorphisms.
Polyvar
⭐
12
polymorphism with value semantics (based on std::variant)
Pec
⭐
11
pec embedded compiler
Feedback_management_system
⭐
11
🧾 An object oriented C++ Program which stores and maintains course feedback provided by students.
Cpp Advanced
⭐
11
Mostly focused on OOPs. Useful for development purposes in C++.
Usingstdcpp2017
⭐
11
Presentations from Joaquín Mª López Muñoz at using std::cpp 2017 and associated material
Containers
⭐
11
Functional container like data structures for better runtime safety and polymorphism
Trustee
⭐
11
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
Polymorphic_validation_scope
⭐
11
A problem with validations and polymorphic associations
J
⭐
11
Object Oriented Software Development
⭐
11
Using C++ to build Nine Almonds, Checkers, Magic Square, Reversi , Chess, Tic Tac Toe Game.
Evaltrees
⭐
10
A simple term-rewriting interpreter that displays intermediate expressions.
Rowling
⭐
10
A simple, easily embeddable pure-functional language with static typing and row polymorphism.
Higher Standard
⭐
10
Higher kinded polymorphism in SML
Well Paid Geek Bot
⭐
10
A slack bot Slack-Bot for the tech Savvy built using ruby. The bot was aimed at bringing efficiency to software developers in form of feeds.
Control.dsl
⭐
10
An alternative to monads in do notation
Cs125fall20quizprep
⭐
10
A repo where I will post questions that summarize prior week's contents to help students prepare for the next week's quiz.
Polydfe
⭐
10
predicting DFE and alpha from polymorphism data
Protocols
⭐
10
Multi-type protocol-based polymorphism
Rk2015orescript
⭐
9
Tiny language with HM type inference
Realue
⭐
9
⚛️ Simple value management for React components.
Symbola
⭐
9
Native JavaScript prototype extension with symbol protocols
Cmpe160 Projects
⭐
9
Three Java projects assigned for the Introduction to Object-Oriented Programming (CMPE 160) course in the Spring 2021 semester.
Lsol
⭐
9
A polymorphic solitaire engine in Lua and LÖVE
Interviews Learning
⭐
9
Rfc Trait Parametric Polymorphism
⭐
9
Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust
Rust For Java Devs
⭐
9
A guide to help Java developers get started with Rust
Oop_in_armenian
⭐
9
Օբեկտակողմնորշված Ծրագրավորում (OOP) :
Tstrait
⭐
9
Use PHP-inspired trait instead of basic Mixin for a better class polymorphism.
Death
⭐
9
A metamorphic virus for Elf64 binaries
Polyjson
⭐
9
Attribute based, polymorphic support for System.Text.Json.
Object Oriented Programming Oops Python
⭐
9
Object-oriented programming (OOP) is a method of structuring a program by bundling related properties and behaviors into individual objects. In this tutorial, you’ll learn about object-oriented programming in Python.
Signalr Protobuf
⭐
9
C# SignalR Protobuf Protocol
Path_tracer
⭐
9
Experimental path tracing with C++20 and SYCL
Protocoljs
⭐
8
A JavaScript port of Clojure's protocol polymorphism.
Cps206
⭐
8
JALC CPS206 Course Notes, Code Examples, Homeworks, and Labs
Scala_school_notebooks
⭐
8
Scala School Notebooks
Adjs
⭐
8
Higher-order FRP compiler
Proud
⭐
8
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
Polyfn
⭐
8
Open, single dispatch functions.
Mars
⭐
8
See Readme
Gic
⭐
7
The generalized intensional compiler for a Haskell-like language.
Cpp Dynamic Polymorphism
⭐
7
List of resources about modern dynamic polymorphism in C++.
Flutter Bmi Calculator
⭐
7
A beautiful BMI calculator app. Developed using Flutter.
Lua Class Lib
⭐
7
A "class" keyword to Lua 5.1!
4p
⭐
7
Parallel Processing of Polymorphism Panels
Concurrency_with_modern_cpp
⭐
7
Concurrency with modern C++
Burrito Book Addendum
⭐
7
An addendum to Practical FP in Scala
Polymorphic_c
⭐
7
A demonstrative C-implemented polymorphism framework.
Vcf2mk
⭐
6
1st Semester Pf Lab Tasks
⭐
6
This repository contains a set of lab tasks for a Programming Fundamentals course. The lab tasks are organized into 11 different labs, each covering a different topic related to programming in C++.This repository could be a valuable resource for students who are taking a programming fundamentals course and want to practice their skills in C++.
Lecture Materials
⭐
6
This repository holds example programs and other lecture materials covered in the course lecture
101-200 of 241 search results
< Previous
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.